Monografie
Term rewriting and applications : 17th international conference ; proceedings
- Sprache
-
Englisch
- Umfang
-
XIII, 414 S.
- ISBN
-
978-3-540-36834-2
- Identifier
-
980772249
- Reihe
-
Lecture notes in computer science; Vol. 4098
Thema
Reduktionssystem ; Termersetzungssystem ; Konferenzschrift Seattle (Wash.); Kongress Seattle
Beteiligte Personen und Organisationen
Pfenning, Frank
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:33 MESZ
Objekttyp
- Monografie
Beteiligte
- Pfenning, Frank
Ähnliche Objekte (12)
Theory and applications of satisfiability testing : 9th international conference ; proceedings
Computer aided verification : 18th international conference ; proceedings
Logic programming : 22nd international conference ; proceedings
Automated reasoning : third international joint conference ; proceedings
Case based reasoning research and development : proceedings
Job scheduling strategies for parallel processing : 13th international workshop ; revised papers
Static analysis : 20th international symposium ; proceedings
Job scheduling strategies for parallel processing : 9th international workshop ; revised paper
Intelligent agents VIII : agent theories, architectures, and languages ; 8th international workshop ; revised papers
Privacy enhancing technologies : 9th international symposium ; proceedings
Robot Soccer World Cup V
Theory, practice, and applications of rules on the web : 7th international symposium ; proceedings
Theory and applications of satisfiability testing : 9th international conference ; proceedings
Computer aided verification : 18th international conference ; proceedings
Logic programming : 22nd international conference ; proceedings
Automated reasoning : third international joint conference ; proceedings
Case based reasoning research and development : proceedings
Job scheduling strategies for parallel processing : 13th international workshop ; revised papers
Static analysis : 20th international symposium ; proceedings
Job scheduling strategies for parallel processing : 9th international workshop ; revised paper
Intelligent agents VIII : agent theories, architectures, and languages ; 8th international workshop ; revised papers
Privacy enhancing technologies : 9th international symposium ; proceedings
Robot Soccer World Cup V
Theory, practice, and applications of rules on the web : 7th international symposium ; proceedings
Theory and applications of satisfiability testing : 9th international conference ; proceedings
Computer aided verification : 18th international conference ; proceedings
Logic programming : 22nd international conference ; proceedings
Automated reasoning : third international joint conference ; proceedings
Case based reasoning research and development : proceedings
Job scheduling strategies for parallel processing : 13th international workshop ; revised papers
Static analysis : 20th international symposium ; proceedings
Job scheduling strategies for parallel processing : 9th international workshop ; revised paper
Intelligent agents VIII : agent theories, architectures, and languages ; 8th international workshop ; revised papers
Privacy enhancing technologies : 9th international symposium ; proceedings
Robot Soccer World Cup V