Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmsynthese 10 Treffer
- Programmtransformation 10 Treffer
- Theoretische Informatik 10 Treffer
- Computational logic 9 Treffer
- Funktionale Programmierung 8 Treffer
-
45 weitere Werte:
- Implementierung (Informatik) 8 Treffer
- Logik 8 Treffer
- Programmiersprache 8 Treffer
- Programmierlogik 7 Treffer
- Programmierung 6 Treffer
- Algebraische Spezifikation 5 Treffer
- Automatisches Beweisverfahren 5 Treffer
- Mathematische Logik 5 Treffer
- Softwareentwicklung 4 Treffer
- Algebra 3 Treffer
- Metaprogrammierung 3 Treffer
- Termersetzungssystem 3 Treffer
- Deduktives Datenbanksystem 2 Treffer
- Komplexitätstheorie 2 Treffer
- PROLOG (Programmiersprache) 2 Treffer
- Typentheorie 2 Treffer
- Abstrakter Datentyp 1 Treffer
- B (Programmiersprache) 1 Treffer
- Berechnungstheorie 1 Treffer
- Beweistheorie 1 Treffer
- Computer 1 Treffer
- Computeralgebra 1 Treffer
- Datenfluss 1 Treffer
- Datenstruktur 1 Treffer
- Deduktionssystem 1 Treffer
- Deklarative Programmierung 1 Treffer
- Deklarative Semantik 1 Treffer
- Entscheidbarkeit 1 Treffer
- Entscheidungstheorie 1 Treffer
- Formale Sprache 1 Treffer
- Funktionale Semantik 1 Treffer
- Gleichungstheorie 1 Treffer
- Informatik 1 Treffer
- Intensionale Logik 1 Treffer
- Kontrollfluss 1 Treffer
- Künstliche Intelligenz 1 Treffer
- Lambda-Kalkül 1 Treffer
- Lineare Optimierung 1 Treffer
- Natürliche Sprache 1 Treffer
- Nichtmonotones Schließen 1 Treffer
- Parallelverarbeitung 1 Treffer
- Programmanalyse 1 Treffer
- Programmschema 1 Treffer
- Programmverifikation 1 Treffer
- Relation (Informatik) 1 Treffer
Sprache
Form
Person
- Bruynooghe, Maurice 3 Treffer
- Apt, Krzysztof R. (1949-) 2 Treffer
- Deransart, Pierre 2 Treffer
- Etalle, Sandro 2 Treffer
- Fribourg, Laurent 2 Treffer
-
45 weitere Werte:
- Hanus, Michael 2 Treffer
- Hermenegildo, Manuel 2 Treffer
- Kirchner, Hélène 2 Treffer
- Kuchen, Herbert 2 Treffer
- Lau, Kung-Kiu 2 Treffer
- Levi, Giorgio (1942-) 2 Treffer
- Lloyd, John W. (1947-) 2 Treffer
- Alferes, José Júlio 1 Treffer
- Altenkirch, Thorsten 1 Treffer
- Baaz, Matthias (1960-) 1 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Beckstein, Clemens (1960-) 1 Treffer
- Bjørner, Dines (1937-) 1 Treffer
- Boley, Harold 1 Treffer
- Bossi, Annalisa 1 Treffer
- Bradfield, Julian Charles 1 Treffer
- Clement, Timothy Paul 1 Treffer
- Clote, Peter 1 Treffer
- Conery, John S. 1 Treffer
- Degroot, Doug 1 Treffer
- Demoen, Bart 1 Treffer
- Doets, Kees 1 Treffer
- Fariñas del Cerro, Luis 1 Treffer
- Flener, Pierre 1 Treffer
- Flum, Jörg 1 Treffer
- Freitag, Burkhard 1 Treffer
- Fuchs, Norbert E. 1 Treffer
- Gabbrielli, Maurizio 1 Treffer
- Gallagher, John 1 Treffer
- Glaser, Hugh 1 Treffer
- Gochet, Paul 1 Treffer
- Gottlob, Georg 1 Treffer
- Haeberer, Armando Martín (1947-) 1 Treffer
- Hagiya, Masami (1957-) 1 Treffer
- Hill, Patricia M. 1 Treffer
- Hogger, Christopher J. 1 Treffer
- Hu, Zhenjiang 1 Treffer
- Kameyama, Yukiyoshi 1 Treffer
- Lassez, Jean-Louis 1 Treffer
- Leuschel, Michael 1 Treffer
- Marcinkowski, Jerzy 1 Treffer
- Martin-Löf, Per 1 Treffer
- Małuszyński, Jan 1 Treffer
- McAloon, Kenneth (1940-) 1 Treffer
- Middeldorp, Aart (1963-) 1 Treffer
76 Treffer
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Prentice Hall, 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Wiley, 1996Monographie, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: