Der Perlentaucher unter den Buchläden Eichendorff21

Suchergebnis

Gefundene Autoren: Laurent Cervoni oder Pierre Deransart oder Heinz-Dieter Ebbinghaus oder Abdelali Ed-Dbali oder Jörg Flum

1. 

   Heinz-Dieter Ebbinghaus / Wolfgang Thomas …

   Einführung in die mathematische Logik

   • Springer Berlin Heidelberg
   • 2018

   • Taschenbuch
   • 380 Seiten

   39,99€

   in Kürze

2. 

   eng

   Logic, Algebra, and Computation

   International Summer School

   • Springer Berlin Heidelberg
   • 2012

   • Taschenbuch
   • 504 Seiten

   106,99€

   in Kürze

   The Marktoberdorf Summer Schools on Informatics were started in 1970, with the intention to convene every second or third year a group of top researc…

3. 

   eng

   Computational Logic

   Symposium Proceedings, Brussels, November 13/14, 1990

   • Springer Berlin Heidelberg
   • 2011

   • Taschenbuch
   • 228 Seiten

   106,99€

   in Kürze

   This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams …

4. 

   eng

   Pierre Deransart / Abdelali Ed-Dbali …

   Prolog: The Standard

   Reference Manual

   • Springer Berlin Heidelberg
   • 1996

   • Taschenbuch
   • 292 Seiten

   117,69€

   in Kürze

   From the viewpoint of an "industrial" this book is most welcome, as one of the most significant demonstrations of the maturity of Prolog. Logic progr…