Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Agent (Informatik) 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Computational logic 1 Treffer
- Formale Methode 1 Treffer
- Framework (Informatik) 1 Treffer
-
11 weitere Werte:
- Komponente (Software) 1 Treffer
- Künstliche Intelligenz 1 Treffer
- Logische Programmierung 1 Treffer
- Logischer Schluss 1 Treffer
- Mehragentensystem 1 Treffer
- Middleware 1 Treffer
- Mobiler Agent 1 Treffer
- Programmsynthese 1 Treffer
- Programmtransformation 1 Treffer
- Software Engineering 1 Treffer
- Web Services 1 Treffer
Sprache
Form
Person
4 Treffer
-
London: Peregrinus, 1987Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Basel [u.a.]: Birkhäuser, 2005Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: