Automated deduction, cade-12: 12th international conference on automated deduction, nancy, france, june 26 - july 1, 1994. proceedings
Éditeur :
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN :
9783540581567
Date de publication :
1 juin 1994
Dimensions :
21,6 x 13,8 cm
Poids :
1084 g
Format :
Trade paperback (UK)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume of conference papers has been organized into sections on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, higher-order theorem proving and problem sets.