Konferenzschrift | Kongress
Computational logic : first international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540677970
3540677976
- Dimensions
-
24 cm
- Extent
-
XIX, 1379 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1861 : Lecture notes in artificial intelligence
- Keyword
-
Computational logic
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
2000
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:59 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Lloyd, John W.
- CL (1 : 2000 : London)
- Springer
Time of origin
- 2000
Other Objects (12)
Temporal logic : first international conference ; proceedings
Computational visual media : first international conference ; proceedings
Bioinformatics and computational biology : first international conference ; proceedings
Constraints in computational logics : first international conference ; proceedings
Computational logic and proof theory : proceedings
Computational logic and proof theory : proceedings
Computational systems-biology and bioinformatics : first international conference ; proceedings
Computational intelligence and information technology : first international conference ; proceedings
Logic programming : 20th international conference ; proceedings
Logic programming : 24rd international conference ; proceedings
Logic programming : 19th international conference ; proceedings
Logic programming : 25th international conference ; proceedings
Temporal logic : first international conference ; proceedings
Computational visual media : first international conference ; proceedings
Bioinformatics and computational biology : first international conference ; proceedings
Constraints in computational logics : first international conference ; proceedings
Computational logic and proof theory : proceedings
Computational logic and proof theory : proceedings
Computational systems-biology and bioinformatics : first international conference ; proceedings
Computational intelligence and information technology : first international conference ; proceedings
Logic programming : 20th international conference ; proceedings
Logic programming : 24rd international conference ; proceedings
Logic programming : 19th international conference ; proceedings
Logic programming : 25th international conference ; proceedings
Temporal logic : first international conference ; proceedings
Computational visual media : first international conference ; proceedings
Bioinformatics and computational biology : first international conference ; proceedings
Constraints in computational logics : first international conference ; proceedings
Computational logic and proof theory : proceedings
Computational logic and proof theory : proceedings
Computational systems-biology and bioinformatics : first international conference ; proceedings
Computational intelligence and information technology : first international conference ; proceedings
Logic programming : 20th international conference ; proceedings
Logic programming : 24rd international conference ; proceedings
Logic programming : 19th international conference ; proceedings