Suchergebnisse für ""Peter E. Lauer""




Ähnliche Artikel


Logic for Programming, Artificial Intelligence, and Reasoning
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
2011
4. Januar 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
80028528,978-3-642-17510-7

Logic for Programming, Artificial Intelligence, and Reasoning
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
1st ed. 2015
3. Dezember 2015
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-48898-0

Functional Programming, Glasgow 1990
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Proceedings of the 1990 Glasgow Workshop on Functional Programming 13¿15 August 1990, Ullapool, Scotland
1st Edition
30. April 1991
Springer / Springer London / Springer, Berlin
978-3-540-19667-9

Automated Reasoning
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
David Basin / Michael Rusinowitch (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
2004
22. Juni 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11018285,978-3-540-22345-0

Logic Programming and Automated Reasoning
42,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

Compositionality, Concurrency, and Partial Correctness
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Job Zwiers
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Proof Theories for Networks of Processes, and Their Relationship
1989.
22. Februar 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-50845-8

Functional and Logic Programming
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Aart Middeldorp / Taisuke Sato (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
1999
27. Oktober 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10705424,978-3-540-66677-6

Advanced Functional Programming
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
S. Doaitse Swierstra / Pedro R. Henriques / Jose N. Oliveira (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures
1999.
7. Juli 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704973,978-3-540-66241-9

Logic Programming and Automated Reasoning
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Harald Ganzinger / David McAllester / Andrei Voronkov (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
1999
25. August 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704915,978-3-540-66492-5

Concurrency and Parallelism, Programming, Networking, and Security
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Jaffar
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2 - 5, 1996, Proceedings
1996.
19. November 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-62031-0



Ähnlichkeitssuche: Fact®Finder von OMIKRON