Bibliografie

Ergebnisse für "Kai Brünnler/George Metcalfe"

Ähnliche Suchbegriffe:

1 - 1 von 1
Zur Detailsuche

Ergebnisse

Automated Reasoning with Analytic Tableaux and Related Methods
20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8,2011, Proceedings, Lecture Notes in Computer Science 6793 - Lecture Notes in Artificial Intelligence
Kai Brünnler/George Metcalfe
Springer Verlag GmbH
Erschienen am 22.06.2011
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen