Letzte Suchanfragen
Ergebnisse für *
Es wurden 150 Ergebnisse gefunden.
Zeige Ergebnisse 1 bis 25 von 150.
Sortieren
-
Logics for linguistic structures
-
Theorie des wissenschaftlichen Argumentierens
-
Logical aspects of computational linguistics
second international conference, LACL '97, Nancy, France, September 22 - 24, 1997 ; selected papers -
Logics for linguistic structures
-
Symbolic ligic and mechanical theorem proving
-
Logic for computer science
foundations of automatic theorem proving -
Symbolic logic and mechanical theorem proving
-
Grammatik und Logik
Jahrbuch 1979 -
Fuzzy-Logik und Blackboard-Modelle in der technischen Anwendung
-
Logic for computer science
foundations of automatic theorem proving -
Generalized quantifiers
linguistic and logical approaches -
Logic for computer science
foundations of automatic theorem proving -
Logic, algebra and databases
-
Die 'Logik der Gesten' im Nibelungenlied
-
Žar cholodnych čisl i pafos besstrastnoj logiki
formalizacija myšlenija ot antičnych vremen do epochi kibernetiki -
Logic programming
-
Logic programming
-
Logical foundations of artificial intelligence
-
Logical foundations of artificial intelligence
-
Foundations of logic programming
-
Symbolic logic and mechanical theorem proving
-
Formale Logik und Grammatik
-
A first course in formal logic and its applications in computer science
-
Logic programming
-
The logical basis for computer programming
2, Deductive systems