Herausgegeben von V. Wiktor Marek, Herausgegeben von Anil Nerode, Herausgegeben von Miroslaw Truszcynski
Titel
Logic Programming and Nonmonotonic Reasoning
Untertitel
Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
Beschreibung
This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA ...mehr
Verlag
Springer Berlin
Erscheinungsdatum
30.06.2005
ISBN/EAN
978-3-540-49282-5
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Das ist ein E-Book
Autor
Yves Bertot, Vorwort von G. Huet, Pierre Castéran, Vorwort von C. Paulin-Mohring
Titel
Interactive Theorem Proving and Program Development
On the extraction of computational content from noneffective convergence proofs in analysis
Beschreibung
The Fields medalist, Terence Tao, recently emphasized the importance of ``hard'' (or finitary) analysis and connected the finitisation to the methods we will employ in this thesis:
... The main adva ...mehr
Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians interested in natural language processing. The book presents lingu ...mehr
Roman. Aus dem Bulgarischen von Alexander Sitzmann
Beschreibung
Giorgio Gospodinov verknüpft meisterhaft die Themen Leben, Tod und die Vergänglichkeit der Natur, in dem er die Geschichte seines Vaters erzählt.
Ein “wunderbares, poetisches Buch”. Denis Scheck
»Michi Strausfeld hat ein spannend zu lesendes und informatives Buch geschrieben, das auf viele unbekannte und vergessene Ereignisse und Personen hinweist, das neugierig macht und zum Weiterlesen in den zahlreich angegebenen Quellen anregt. «
Klaus Küpper, www.lateinamerikaarchiv.de