Proof Theory in Computer Science
Robert Stark, Peter Schroeder-Heister, Reinhard Kahle
E-bok
2003712 kr
Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies
AvPeter Schroeder-Heister,Gerhard Heinzmann
Häftad, Engelska, 2015
285 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Extensions of Logic Programming
Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister
Häftad, 1992
562 kr
Del 43
Extensions of Logic Programming
Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
Häftad, 1996
562 kr
Logical Writings of Karl Popper
David Binder, Thomas Piecha, Peter Schroeder-Heister
Häftad, 2022
438 kr
Proof Theory in Computer Science
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk
Häftad, 2001
545 kr
Logical Writings of Karl Popper
David Binder, Thomas Piecha, Peter Schroeder-Heister
Inbunden, 2022
545 kr
Al-Farabi, Syllogism: An Abridgement of Aristotle’s Prior Analytics
Saloua Chatti, Wilfrid Hodges
Häftad, 2022
451 kr
Del 43