Springe zum Inhalt... (mit Enter-Taste)
Springe zur Navigation... (mit Enter-Taste)
SolrQueryCompletionProxy
QueryCompletionProxy
4, 1
Sprachauswahl:
deutsch
deutsch
english
×
Einfache Suche
Erweiterte Suche
Suchhistorie
Merkliste
Weitere Angebote
Kontakt
Hilfe
DE
EN
Suche
Einfache Suche
Erweiterte Suche
Suchhistorie
Merkliste
Weitere Angebote
Kontakt
Hilfe
Suche nach:
Erweiterte Suche
Neue Suche / Treffer einschränken
Neue Suche
Treffer einschränken
Ihre Suchanfrage:
Autor/Person = ?DE-588?119029502
Drucken
Speichern
Atom-Feed (Dauersuchauftrag)
Springe zur Navigation... (mit Enter-Taste)
Springe zur Seitenleiste... (mit Enter-Taste)
template
Mehr anzeigen
Abschicken
Zurücksetzen
Abbrechen
Treffer eingrenzen
Treffer eingrenzen
Bestand
Berlin, Universitätsbibliothek der Freien Universität
3
UB LMU München
3
BSB München
2
UB Passau
2
UB Erl.-Nbg. 29T
1
Mehr anzeigen
Schlagwort
Automatisches Beweisverfahren <rswk-swf>
3
Konferenzschrift
3
Automatic theorem proving
2
Artificial intelligence
1
Aufsatzsammlung
1
Mehr anzeigen
Jahr
1984
2
1985
1
1991
1
Dokumenttyp
Text
4
Band
3
Buch
3
Konferenzschrift
3
Aufsatzsammlung
1
Mehr anzeigen
Sprache
Englisch
3
Nicht einzuordnen
1
Verfasser
Bledsoe, Woody W. <1921-1995>
3
Bledsoe, Woody W. <1921-1995> [Gefeierter]
1
Boyer, Robert S.
1
Loveland, Donald W. <1934->
1
Fach
Mathematik
4
Informatik
1