Format:
XI, 239 S.
,
graph. Darst.
ISBN:
3540102310
,
0387102310
Series Statement:
Lecture notes in computer science 90
Uniform Title:
HL-resolution, a semantic refinement of resolution and a theory of model specification
Note:
Literaturverz. S. [229] - 233
,
Zugl.: Diss. u.d.T.: Sandford, David M.: HL-resolution, a semantic refinement of resolution and a theory of model specification
Additional Edition:
Online-Ausg. Sandford, David M. Using sophisticated models in resolution theorem proving Berlin [u.a.] : Springer, 1980 ISBN 9783540383062
Additional Edition:
Erscheint auch als Online-Ausgabe Sandford, David M. Using Sophisticated Models in Resolution Theorem Proving Berlin, Heidelberg : Springer Berlin Heidelberg, 1980 ISBN 9783540383062
Language:
English
Subjects:
Computer Science
Keywords:
Beweistheorie
;
Automatisches Beweisverfahren
;
Künstliche Intelligenz
;
Logik