Yazar
Andreas Podelski
20 cilt bulundu.
Cilt sonuçları
Functions as Passive Constraints in LIFE
Hassan Aït-Kaci, Andreas Podelski · Yayınevi bilinmiyor
57 sayfa · 1992
Constraints (Artificial intelligence)
Towards a Meaning of LIFE.
Hassan Aït-Kaci, Andreas Podelski · Yayınevi bilinmiyor
42 sayfa · 1991
Functional programming (Computer science)
A Feature Constraint System for Logic Programming with Entailment
Digital Equipment Corporation. Paris Research Laboratory, Hassan Aït-Kaci, Andreas Podelski, Gert Smolka · Yayınevi bilinmiyor
20 sayfa · 1992
Constraints (Artificial intelligence)
Order-sorted Feature Theory Unification
Digital Equipment Corporation. Paris Research Laboratory, Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein · Yayınevi bilinmiyor
25 sayfa · 1993
Data structures (Computer science)