Franz Baader
Auteur de Term Rewriting and All That
Œuvres de Franz Baader
Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July… (2003) 5 exemplaires
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo,… (2005) 2 exemplaires
Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings… (2007) 1 exemplaire
KI 2001 : advances in artificial intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September… (2003) 1 exemplaire
Termersetzungssysteme. Script zur Vorlesung 1 exemplaire
Étiqueté
Partage des connaissances
- Sexe
- male
Membres
Vous aimerez peut-être aussi
Auteurs associés
Statistiques
- Œuvres
- 8
- Membres
- 73
- Popularité
- #240,526
- Évaluation
- 3.7
- ISBN
- 26