Ergebnisse für "paulson, lawrence c"

Ähnliche Suchbegriffe: benson, lawrence s, lawson, lawrence, lifson, lawrence e

1 - 3 von 3

Ergebnisse

A Generic Theorem Prover, Lecture Notes in Computer Science 828
Erschienen am 28.07.1994
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
A Proof Assistant for Higher-Order Logic, Lecture Notes in Computer Science 2283
Erschienen am 03.04.2002
€ 58,84
(inklusive MwSt.)
Sofort Lieferbar
First International Conference, ITP 2010 Edinburgh, UK, July 11-14,2010, Proceedings, Lecture Notes in Computer Science 6172 - Theoretical Computer Science and General Issues
Erschienen am 30.06.2010
€ 106,99
(inklusive MwSt.)
Sofort Lieferbar

Filter Kategorien

Filter


Produktart

Weitere

Kategorien


Belletristik (0)

Kinder- & Jugendbuch (0)

Reise (0)

Ratgeber (0)

Geisteswissenschaft, Kunst & Musik (0)

Naturwissenschaften, Medizin, Informatik, Technik (2)

Sozialwissenschaft, Recht & Wirtschaft (0)

Schule & Lernen (0)

Sachbuch (0)

Merchandising (0)

Test (0)

Wintermomente (0)

Test123 (0)

Gutschein (0)

Nonbook (0)