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.    

Computer Science Logic: 14th International Workshop, CSL 2000 Annual ...

Peter Clote, Helmut Schwichtenberg - Computers - 2000 - 541 pages
This book constitutes the refereed proceedings of the 13th International Workshop on Computer Science Logic, CSL 2000, held in Fischbachau, Germany as the 8th Annual Conference ...
Limited preview - About this book

Generalized Quantifiers and Computation: 9th European Summer School in Logic ...

Jouko Väänänen - Computers - 1999 - 139 pages
This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence ...
Limited preview - About this book

DNA Computing: 9th International Workshop on DNA Based Computers ..., Volume 9

Junghuei Chen, John Reif - Computers - 2004 - 224 pages
Biomolecular computing is an interdisciplinary ?eld that draws together mol- ular biology, DNA nanotechnology, chemistry, physics, computer science and mathematics ...
Limited preview - About this book

Hermann Weyl's Raum-Zeit-Materie and a General Introduction to His ...

Hermann Weyl, Erhard Scholz - Biography & Autobiography - 2001 - 403 pages
Historical interest and studies of Weyl's role in the interplay between 20th-century mathematics, physics and philosophy have been increasing since the middle 1980s, triggered ...
Limited preview - About this book

Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual ...

Jörg Flum, Mario Rodriguez-Artalejo - Computers - 1999 - 580 pages
The 1999 Annual Conference of the European Association for Computer Science Logic, CSL’99, was held in Madrid, Spain, on September 20-25, 1999. CSL’99 was the 13th in a series ...
Limited preview - About this book

Applications and Theory of Petri Nets 2004: 25th International ..., Volume 25

Jordi Cortadella, Wolfgang Reisig - Business & Economics - 2004 - 503 pages
This volume contains the proceedings of the 25th International Conference on Application and Theory of Petri Nets (ICATPN 2004). The aim of the Petri net conferences is to ...
Limited preview - About this book

Types for Proofs and Programs: International Workshop, TYPES'99 ..., Volume 1999

Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith - Computers - 2000 - 195 pages
This book contains a selection of papers presented at the third annual workshop of the Esprit Working Group 21900 Types, which was held 12 - 16 June 1999 at L¨okeberg in the ...
Limited preview - About this book

Membrane Computing: International Workshop, WMC 2003, Tarragona, Spain, July ...

Carlos Martín-Vide - Computers - 2004 - 382 pages
This volume is based on papers presented at the Workshop on Membrane Computing, WMC 2003, which took place in Tarragona, Spain, in the - riod July 17–July 22, 2003. This was ...
Limited preview - About this book

Theory and Applications of Satisfiability Testing: 6th International ...

Enrico Giunchiglia - Computers - 2004 - 530 pages
This book is devoted to the 6th International Conference on Theory and - plications of Satis?ability Testing (SAT 2003) held in Santa Margherita Ligure (Genoa,Italy), during ...
Limited preview - About this book

Automated Reasoning: Second International Joint Conference, IJCAR ..., Volume 2

David Basin - Computers - 2004 - 491 pages
This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJCAR 2004 continued ...
Limited preview - About this book




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