Proof Theory and Logic Programming: Computation as Search

Priser från
883,25

Utvalda

JäMFöR ALLA WEBBUTIKER (1)

Beskrivning

Amazon Proof Theory and Logic Programming: Computation as Proof Search
Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (1)

Shop
Pris
Amazon Logga
883,25 kr
Til butik
Beskrivning (1)

Proof Theory and Logic Programming: Computation as Proof Search

Produktspecifikationer

Märke Cambridge University Press
EAN
  • 9781009561297

Roscoe C. Ferguson

Network Logic Programming Theory

825,01 kr
Mer information Mer info

Independently Published

Network Logic Programming Theory

1.067,23 kr
Mer information Mer info

Books On Demand

From Code to Computation: A Modern Guide Programming and Theory: 1

269,07 kr
Jämför 2 butiker 2 Butiker

Independently Published

LEAN PROGRAMMING for FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks verified computation

129,46 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
883,25 kr
Til butik