Frontiers of combining systems: first international workshop, munich, march 1996: 1st: first international workshop, munich, march, 1996
Auteur :
Baader, Franz
ISBN :
9780792342717
Date de publication :
31 oct. 1996
Dimensions :
23,0 cm
Poids :
857 g
Langue :
Anglais
Pays d'origine :
USA
Contains research papers that consider the problem of combining formal systems, algorithms, and software tools from the perspectives of logic, computer science, and artificial intelligence. This book emphasises on logical systems, automated deduction, and constraint logic programming, and also addresses topics such as computer algebra systems.