Konferenzschrift | Kongress
Frontiers of combining systems : third international workshop ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540672814
3540672818
- Dimensions
-
24 cm
- Extent
-
X, 289 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1794 : Lecture notes in artificial intelligence
- Keyword
-
Automatisches Beweisverfahren
Constraint
Deduktionssystem
Computeralgebra
Entscheidungsproblem
Mathematische Logik
Lineare Optimierung
- 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, 2:29 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
- Kirchner, Hélène
- FroCoS (3 : 2000 : Nancy)
- Springer
Time of origin
- 2000
Other Objects (12)
Frontiers in algorithmics : third international workshop ; proceedings
Frontiers of combining systems : 5th international workshop ; proceedings
Frontiers of combining systems : 4th international workshop ; proceedings
Frontiers of combining systems : 8th international symposium ; proceedings
Frontiers of combining systems : 7th international symposium ; proceedings
Frontiers of combining systems : 9th international symposium ; proceedings
Frontiers in algorithmics : second international workshop ; proceedings
Frontiers in algorithmics : 4th international workshop ; proceedings
Static analysis : third international workshop ; proceedings
Information security : third international workshop ; proceedings
Ant algorithms : third international workshop ; proceedings
Information hiding : third international workshop ; proceedings
Frontiers in algorithmics : third international workshop ; proceedings
Frontiers of combining systems : 5th international workshop ; proceedings
Frontiers of combining systems : 4th international workshop ; proceedings
Frontiers of combining systems : 8th international symposium ; proceedings
Frontiers of combining systems : 7th international symposium ; proceedings
Frontiers of combining systems : 9th international symposium ; proceedings
Frontiers in algorithmics : second international workshop ; proceedings
Frontiers in algorithmics : 4th international workshop ; proceedings
Static analysis : third international workshop ; proceedings
Information security : third international workshop ; proceedings
Ant algorithms : third international workshop ; proceedings
Information hiding : third international workshop ; proceedings
Frontiers in algorithmics : third international workshop ; proceedings
Frontiers of combining systems : 5th international workshop ; proceedings
Frontiers of combining systems : 4th international workshop ; proceedings
Frontiers of combining systems : 8th international symposium ; proceedings
Frontiers of combining systems : 7th international symposium ; proceedings
Frontiers of combining systems : 9th international symposium ; proceedings
Frontiers in algorithmics : second international workshop ; proceedings
Frontiers in algorithmics : 4th international workshop ; proceedings
Static analysis : third international workshop ; proceedings
Information security : third international workshop ; proceedings
Ant algorithms : third international workshop ; proceedings