Suchergebnisse für ""Nicola Olivetti""




Ähnliche Artikel


Automated Reasoning with Analytic Tableaux and Related Methods
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Cialdea Mayer
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
3. September 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40787-4

Automated Reasoning with Analytic Tableaux and Related Methods
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Uwe Egly / Christian G. Fernmüller (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings
17. Juli 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43929-5

Logic for Programming, Artificial Intelligence, and Reasoning
78,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Geoff Sutcliffe (Volume ed.) / Andrei Voronkov
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
24. November 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11591191,978-3-540-30553-8

Automated Reasoning with Analytic Tableaux and Related Methods
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Roy Dyckhoff (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings
2000.
21. Juni 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-67697-3

Logic for Programming, Artificial Intelligence, and Reasoning
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Moshe Vardi / Andrei Voronkov (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
12. September 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20101-4

Automated Deduction - CADE-20
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Robert Nieuwenhuis (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
14. Juli 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-28005-7

Automated Reasoning
77,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Ulrich Furbach (Volume ed.) / Natarajan Shankar
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
3. August 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11814771,978-3-540-37187-8

Frontiers of Combining Systems
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Alessandro Armando (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings
20. März 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
10846555,978-3-540-43381-1

Logic Programming and Nonmonotonic Reasoning
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Vladimir Lifschitz / Ilkka Niemelä (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
9. Dezember 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin

Theorem Proving with Analytic Tableaux and Related Methods
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Miglioli
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
1996.
24. April 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61208-7



Ähnlichkeitssuche: Fact®Finder von OMIKRON