Hakutulokset: Hakutulos
yhteensä 5 426 hakutulosta
?-Calculus and Computer Science Theory
1. Fachtagung über Automatentheorie und Formale Sprachen
10th International Conference on Automated Deduction
This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of …
25 Years of Model Checking
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, …
3D Research Challenges in Cultural Heritage
This book contains selected contributions from some of the most renowned researchers in the field of Digital Heritage and 3D representation of the Past, based in large part on …
3D Structure from Images - SMILE 2000
This volume contains the ?nal version of the papers originally presented at the second SMILE workshop 3D Structure from Multiple Images of Large-scale Environments, which was held …
3D Structure from Multiple Images of Large-Scale Environments
The contributions in this volume give an overview of state-of-the-art results presented at the Workshop on 3D Structure from Multiple Images of Lar- scale Environments (SMILE). …
50 Years of Artificial Intelligence
This Festschrift volume, published in celebration of the 50th Anniversary of Artificial Intelligence, includes 34 refereed papers written by leading researchers in the field of …
5th Conference on Automated Deduction
8th International Conference on Automated Deduction
9th International Conference on Automated Deduction
This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. …
A 25-Year Perspective on Logic Programming
This book celebratesthe 25th anniversaryof GULP—the Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of their ?elds, it presents an …