Resolution methods for the decision problem

This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia), and Vienna (Austria). The authors met several times to discuss and exchange their results and finally decided to write this monograph together. Besides a unified treatment of previously published results the...

Descripció completa

Guardat en:
Dades bibliogràfiques
Autors principals: Fermüller, Christian G., Leitsch, Alexander, 1952- (Autor), Tammet, Tanel (Autor)
Format: Livre numérique
Idioma:Anglais
Publicat: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Col·lecció:Lecture notes in computer science. Lecture notes in artificial intelligence 679
Matèries:
Accés en línia:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Nota: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Resolution methods for the decision problem, C. Fermüller ... [et al.], Berlin, Springer, 1993, 1 vol. (viii, 205 p.), Lecture notes in computer science, 3-540-56732-1
• Resolution Methods for the Decision Problem, Texte imprimé, 9783662172872

Ítems similars