Suchergebnisse für ""Nicola Olivetti""




Ähnliche Artikel


Automated Reasoning with Analytic Tableaux and Related Methods
42,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
2003
3. September 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40787-4

Automated Reasoning with Analytic Tableaux and Related Methods
42,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
2002
17. Juli 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43929-5

Automated Reasoning with Analytic Tableaux and Related Methods
42,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

Theorem Proving with Analytic Tableaux and Related Methods
42,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

Automated Reasoning with Analytic Tableaux and Related Methods
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
1st ed. 2015
12. November 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-24311-5

Logic for Programming, Artificial Intelligence, and Reasoning
85,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
2005
24. November 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11591191,978-3-540-30553-8

Logic for Programming, Artificial Intelligence, and Reasoning
42,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
2003
12. September 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20101-4

Automated Reasoning
83,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
2006
3. August 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11814771,978-3-540-37187-8

Automated Reasoning with Analytic Tableaux and Related Methods
48,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25¿28, 2017, Proceedings
1st ed. 2017
31. August 2017
Engineering and Physical Sciences Research Council / Springer / Springer International Publishing /
978-3-319-66901-4

Automated Deduction - CADE-20
42,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
2005
14. Juli 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-28005-7



Ähnlichkeitssuche: Fact®Finder von OMIKRON