Konferenzschrift | Kongress
Frontiers of combining systems : 4th international workshop ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540433811
3540433813
- Dimensions
-
24 cm
- Extent
-
VIII, 254 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 2309 : 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, Tokyo
- (who)
-
Springer
- (when)
-
2002
- Contributor
-
Armando, Alessandro
FroCoS (4 : 2002 : Santa Margherita Ligure)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:36 PM CET
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
- Armando, Alessandro
- FroCoS (4 : 2002 : Santa Margherita Ligure)
- Springer
Time of origin
- 2002
Other Objects (12)
Frontiers in algorithmics : 4th international workshop ; proceedings
Frontiers of combining systems : 5th international workshop ; proceedings
Frontiers of combining systems : third international workshop ; proceedings
Frontiers of combining systems : 7th international symposium ; proceedings
Frontiers of combining systems : 8th international symposium ; proceedings
Frontiers of combining systems : 9th international symposium ; proceedings
Algorithm engineering : 4th international workshop ; proceedings
Information hiding : 4th international workshop ; proceedings
Reachability problems : 4th international workshop ; proceedings
Computer science logic : 4th workshop ; proceedings
Frontiers in algorithmics : third international workshop ; proceedings
Frontiers in algorithmics : second international workshop ; proceedings
Frontiers in algorithmics : 4th international workshop ; proceedings
Frontiers of combining systems : 5th international workshop ; proceedings
Frontiers of combining systems : third international workshop ; proceedings
Frontiers of combining systems : 7th international symposium ; proceedings
Frontiers of combining systems : 8th international symposium ; proceedings
Frontiers of combining systems : 9th international symposium ; proceedings
Algorithm engineering : 4th international workshop ; proceedings
Information hiding : 4th international workshop ; proceedings
Reachability problems : 4th international workshop ; proceedings
Computer science logic : 4th workshop ; proceedings
Frontiers in algorithmics : third international workshop ; proceedings
Frontiers in algorithmics : second international workshop ; proceedings
Frontiers in algorithmics : 4th international workshop ; proceedings
Frontiers of combining systems : 5th international workshop ; proceedings
Frontiers of combining systems : third international workshop ; proceedings
Frontiers of combining systems : 7th international symposium ; proceedings
Frontiers of combining systems : 8th international symposium ; proceedings
Frontiers of combining systems : 9th international symposium ; proceedings
Algorithm engineering : 4th international workshop ; proceedings
Information hiding : 4th international workshop ; proceedings
Reachability problems : 4th international workshop ; proceedings
Computer science logic : 4th workshop ; proceedings
Frontiers in algorithmics : third international workshop ; proceedings