| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
(Buch) Sprache: English
Veröffentlichung: Juli 2008
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
(Buch) Sprache: English
Veröffentlichung: Mai 1996
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna,
(Buch) Sprache: English
Veröffentlichung: Juli 2014
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
(Buch) Sprache: English
Veröffentlichung: September 1999
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
| Autor von: |
 | Introduction to the Theory of Programming Languages
(Buch) Sprache: English
Veröffentlichung: Dezember 2010
(Auf Bestellung)
Einband: Kartoniert | SFr. 50.90
bestellen |
 | Principles of Programming Languages
(Buch) Sprache: English
Veröffentlichung: März 2009
(Auf Bestellung)
Einband: Kartoniert | SFr. 47.90
bestellen |
 | Proofs and Algorithms: An Introduction to Logic and Computability
(Buch) Sprache: English
Veröffentlichung: Januar 2011
(Auf Bestellung)
Einband: Kartoniert | SFr. 50.90
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
