84 Ergebnisse für: predicate
-
8th International Conference on Automated Deduction: Oxford, England, July ... - Google Books
http://books.google.de/books?id=-exQAAAAMAAJ&q=%22Sleepsort%22&dq=%22Sleepsort%22&hl=de&ei=d7SpTou4BeSj4gS608kb&sa=X&oi=book_res
Keine Beschreibung vorhanden.
-
OGND - results/titledata
http://swb.bsz-bw.de/DB=2.104/SET=1/TTL=1/CMD?retrace=0&trm_old=&ACT=SRCHA&IKT=2999&SRT=RLV&TRM=119727501
Keine Beschreibung vorhanden.
-
A hierarchy of formulas in set theory - Azriel Lévy - Google Books
http://books.google.de/books?id=dy4ZAQAAIAAJ&q=azriel
Keine Beschreibung vorhanden.
-
A Copious Latin Grammar - Immanuel Johann Gerhard Scheller - Google Books
http://books.google.de/books?id=6vMsAAAAYAAJ
Keine Beschreibung vorhanden.
-
Principles of Artificial Intelligence - Nils J. Nilsson - Google Books
http://books.google.de/books?id=g2d6-06EwfYC&pg=PA111&dq=EPL+Partnerschaftliches+Lernprogramm&lr=&cd=11#v=onepage&q=EPL%20Partne
Previous treatments of Artificial Intelligence (AI) divide the subject into its major areas of application, namely, natural language processing, automatic programming, robotics, machine vision, automatic theorem proving, intelligent data retrieval systems,…
-
Journal of Japanese Linguistics - Google Books
http://books.google.de/books?id=o58mAQAAIAAJ&q=ason+OR+asomi+courtier&dq=ason+OR+asomi+courtier&hl=de&ei=upQqTr7RAoWasAPYvKjXCg&
Keine Beschreibung vorhanden.
-
An Ethnographic Grammar of the Eipo Language: Spoken in the Central ... - Volker Heeschen - Google Books
http://books.google.de/books?id=BI8OAAAAYAAJ&q=Jayawijaya&dq=Jayawijaya&hl=de&ei=8MaPTMDZIYOs4Abkzp2bDg&sa=X&oi=book_result&ct=r
Keine Beschreibung vorhanden.
-
A Comparative Grammar of the Anglo-Saxon Language: In which Its Forms are ... - Francis Andrew March - Google Books
http://books.google.de/books?id=3xEZAAAAYAAJ&q=Francis+Andrew++March&dq=Francis+Andrew++March&source=bl&ots=-6vbwIR2xL&sig=okHFv
Keine Beschreibung vorhanden.
-
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg ... - Google Books
https://books.google.de/books?id=vfNKx4hCxAkC&dq=Lemma+von+Arden&hl=de&source=gbs_navlinks_s
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected…
-