Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Collection
Collection
- ISSN: 0302-9743
- https://link.springer.com/bookseries/558
Published by Springer
Reports on leading-edge research in artificial intelligence and other areas of computer science.
-
A cook’s tour of countable nondeterminism Conference Paper
Apt, K.R. (K. R.) and Plotkin, G.D. (G. D.)
January 1981 -
Retractions in comparing Prolog semantics Conference Paper
A. de Bruin (Arie) and de Vink, E.P. (E. P.)
January 1990 -
Another view on the SSS* algorithm Conference Paper
January 1990 -
From relations to objects: A translation methodology for an object oriented front-end to RDBMSs Conference Paper
January 1992 -
A proof theory for constructive default logic Conference Paper
January 1993 -
January 1994
-
January 2000
-
Digitisation and 3D reconstruction of 30 year old microscopic sections of human embryo, foetus and orbit Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 636-647.J.E. van Zwieten (Joris), C.P. Botha (Charl), B. Willekens, S. Schutte (Sander), F.H. Post (Frits) and H.J. Simonsz (Huib)
January 2006