Proof Theory and Logic Programming: Computation as Search

Priser från
776,16

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon Proof Theory and Logic Programming: Computation as Proof Search
Description Beskrivning
Product Specifications Produktspecifikationer
Related Products Relaterade produkter
?>
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
776,16 kr
Til butik
Amazon Marketplace Logga
776,16 kr
Til butik
Beskrivning (1)

Proof Theory and Logic Programming: Computation as Proof Search

Produktspecifikationer

Märke Cambridge University Press
EAN
  • 9781009561297

Priser uppdaterades senast:

Independently Published

Network Logic Programming Theory

1.189,58 kr
Mer information Mer info

Roscoe C. Ferguson

Network Logic Programming Theory

825,01 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
776,16 kr
Til butik