Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Publikation
- analysis and visualization tools for constraint programming : constraint debugging 1 Treffer
- programming languages: implementations, logics and programs : 7th international symposium, plilp '95 utrecht, the netherlands, september 20-22, 1995 proceedings 1 Treffer
- programming languages: implementations, logics, and programs : 8th international symposium, plilp '96 aachen, germany, september 24-27, 1996 proceedings 1 Treffer
- the logic programming paradigm : a 25-year perspective 1 Treffer
- verification, model checking, and abstract interpretation : 7th international conference, vmcai 2006, charleston, sc, usa, january 8-10, 2006. proceedings 1 Treffer
5 Treffer
-
1996Online E-BookZugriff:
-
2000Online E-BookZugriff:
-
In: The Logic Programming Paradigm : A 25-Year Perspective; (1999) S. 161-192Online E-BookZugriff:
-
1995Online E-BookZugriff: