Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- artificial intelligence 2 Treffer
- automatic theorem proving 2 Treffer
- bisimulation 2 Treffer
- computer programming 2 Treffer
- computer science 2 Treffer
-
10 weitere Werte:
- computer software 2 Treffer
- constraint handling rules 2 Treffer
- constraint programming 2 Treffer
- equivalence relations (set theory) 2 Treffer
- focusing 2 Treffer
- linear systems 2 Treffer
- logic programming 2 Treffer
- object-oriented programming languages 2 Treffer
- access permissions 1 Treffer
- π-calculus 1 Treffer
Sprache
2 Treffer
-
In: Theory & Practice of Logic Programming, Jg. 18 (2018-03-01), Heft 2, S. 252-295Online academicJournalZugriff:
-
In: Theory & Practice of Logic Programming, Jg. 11 (2011-07-01), Heft 4/5, S. 469-485academicJournalZugriff: