Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 31 - 40 of about 48 related to Logic, Methodology and Philosophy of Science VIII.    

Automated Reasoning: First International Joint Conference, IJCAR ..., Volume 1

Rajeev Gore, Alexander Leitsch, Tobias Nipkow - Computers - 2001 - 708 pages
This book is a result of the European Experience Exchange (EUREX) project sponsored by the European Systems and Software Initiative for Software Best Practice in Europe. The ...
Limited preview - About this book

Computer Science Logic: 15th International Workshop, CSL 2001 ..., Volume 15

Laurent Fribourg, European Association for Computer Science Logic. Conference - Computers - 2001 - 614 pages
This text constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris ...
Limited preview - About this book

Elements of the History of Mathematics

N. Bourbaki, J. Meldrum - Mathematics - 1998 - 301 pages
This work gathers together, without substantial modification, the major ity of the historical Notes which have appeared to date in my Elements de M atMmatique. Only the flow ...
Limited preview - About this book

Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 ...

Helene Kirchner, Christophe Ringeissen - Computers - 2000 - 289 pages
This book constitutes the refereed proceedings of the Third International Workshop on Frontiers of Combining Systems, FroCoS 2000, held in Nancy, France, in March 2000. The 14 ...
Limited preview - About this book

Typed Lambda Calculi and Applications: 6th International ..., Volume 6

Martin Hofmann - Computers - 2003 - 315 pages
This volume represents the proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain on 1012 June 2003 in ...
Limited preview - About this book

Application and Theory of Petri Nets 1999: 20th International Conference ...

Susanna Donatelli, Jetty Kleijn - Computers - 1999 - 423 pages
This volume contains the proceedings of the 20th International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for ...
Limited preview - About this book

Computational Linguistics and Intelligent Text Processing: Third ..., Volume 3

Alexander Gelbukh - Computers - 2002 - 444 pages
CICLing2002wasthethirdannualConferenceonIntelligenttextprocessingand Computational Linguistics (hence the name CICLing); see www.CICLing.org. It was intended to provide a ...
Limited preview - About this book

Typed Lambda Calculi and Applications: 5th International ..., Volume 5

Samson Abramsky - Computers - 2001 - 429 pages
This book contains the keynote, invited and full contributed papers presented at COMPSTAT 2000, held in Utrecht. The papers range over all aspects of the link between ...
Limited preview - About this book

Logic for Programming and Automated Reasoning: 7th International Conference ...

Michel Parigot, Andrei Voronkov - Computers - 2000 - 486 pages
This volumecontains the papers presentedatthe SeventhInternationalC- ference on Logicfor Programmingand Automated Reasoning (LPAR 2000)held onReunionIsland,France,6 ...
Limited preview - About this book

Theory Reasoning in Connection Calculi, Issue 1527

Peter Baumgartner - Computers - 1998 - 283 pages
The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional disciplines in AI. Theory ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search