Suchergebnisse für ""Alfonso Miola""




Ähnliche Artikel


Parallelization in Inference Systems
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Bertram Fronhöfer / Graham Wrightson (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings
1992.
22. April 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55425-7

Design and Implementation of Symbolic Computation Systems
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
2000.
4. September 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61697-9

Progress in Artificial Intelligence
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Pinto-Ferreira
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995. Proceedings
1995.
22. September 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60428-0

Artificial Intelligence and Symbolic Computation
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Bruno Buchberger / John A. Campbell (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings
Softcover reprint of the original 1st ed. 2004
10. September 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11318781,978-3-540-23212-4

Advances in Artificial Intelligence
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Torasso
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third Congress of the Italian Association for Artificial Intelligence, AI*IA `93, Torino, Italy, October 26-28, 1993. Proceedings
1993.
5. Oktober 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-57292-3

Logic Programming and Automated Reasoning
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Pfenning
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
1994.
22. Juni 1994
Springer, Berlin

Logic Programming and Automated Reasoning
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Andrei Voronkov (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
1993.
29. Juni 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-56944-2

Design and Implementation of Symbolic Computation Systems
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Fitch
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings
1993.
2. September 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-57272-5

Automated Reasoning with Analytic Tableaux and Related Methods
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Galmiche
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
1997.
29. April 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-62920-7



Ähnlichkeitssuche: Fact®Finder von OMIKRON