Suchergebnisse für ""Zoltán Ésik""




Ähnliche Artikel


Computer Science Logic
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Luke Ong (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
9. August 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11538363,978-3-540-28231-0

Computer Science Logic
76,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Jacques Duparc / Thomas A. Henzinger (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
30. August 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12122257,978-3-540-74914-1

Computer Science Logic
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Jerzy Marcinkowski / Andrzej Tarlecki (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
2. September 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11315872,978-3-540-23024-3

Computer Science Logic
77,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Matthias Baaz / Johann M. Makowsky (Bearb.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
18. August 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40801-7

Logic Programming
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Philippe Codognet (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings
14. November 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42935-7

Computational Logic in Multi-Agent Systems
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Jürgen Dix / João Leite (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
3. Dezember 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11363989,978-3-540-24010-5

Deontic Logic in Computer Science
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Alessio Lomuscio / Donald Nute (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
12. Mai 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11011736,978-3-540-22111-1

Higher Order Logic Theorem Proving and Its Applications
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Melham
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
1994.
7. September 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58450-6

Theorem Proving in Higher Order Logics
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Mark Aagaard / John Harrison (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
2000.
27. Juli 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10722303,978-3-540-67863-2

Computational Logic and Proof Theory
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Gottlob
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
1997.
13. August 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-63385-3



Ähnlichkeitssuche: Fact®Finder von OMIKRON