Suchergebnisse für ""Luis Moniz Pereira""




Ähnliche Artikel


Term Indexing
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Peter Graf
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1995
27. März 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61040-3

Automated Deduction in Equational Logic and Cubic Curves
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
R. Padmanabhan
William McCune
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1996.
12. Juni 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61398-5

Fundamentals of Artificial Intelligence Research
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Philippe Jorrand / Jozef Kelemen (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings
1991.
28. August 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54507-1

Automated Deduction in Classical and Non-Classical Logics
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Ricardo Caferra / Gernot Salzer (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Selected Papers
2000.
9. Februar 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10719651,978-3-540-67190-9

Conditional and Typed Rewriting Systems
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Stephane Kaplan / Mitsuhiro Okada (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings
1991.
7. August 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54317-6

Logic Programming and Automated Reasoning
40,99 €
Versandfertig in über 4 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

Automated Deduction ¿ CADE-12
37,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Bundy
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Conference on Automated Deduction Nancy, France, June 26¿July 1, 1994 Proceedings
1994
8. Juni 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
10131285,978-3-540-58156-7

8th International Conference on Automated Deduction
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Oxford, England, July 27- August 1, 1986. Proceedings
1986.
1. Juli 1986
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-16780-8

Rewriting Techniques and Applications
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Comon
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
1997
14. Mai 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10548759,978-3-540-62950-4

Automated Deduction - CADE-15
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Kirchner
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
1997.
24. Juni 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10637443,978-3-540-64675-4



Ähnlichkeitssuche: Fact®Finder von OMIKRON