図書

A resolution principle for a logic with restricted quantifiers / H.-J. Bürckert. (Lecture notes in computer science. Lecture notes in artificial intelligence)

Icons representing 図書

A resolution principle for a logic with restricted quantifiers / H.-J. Bürckert.

(Lecture notes in computer science. Lecture notes in artificial intelligence)

Call No. (NDL)
M121-A79
Bibliographic ID of National Diet Library
000003203234
Material type
図書
Author
Bürckert, H.-J. (Hance-Jürgen)
Publisher
Springer-Verlag
Publication date
c1991.
Material Format
Paper
Capacity, size, etc.
x, 116 p. : ill. ; 25 cm.
NDC
-
View All

Notes on use

Note (General):

Includes indexes.Bibliography: p. [101]-109.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
3540550348
0387550348
Publication Date
c1991.
Publication Date (W3CDTF)
1991
Extent
x, 116 p. : ill. ; 25 cm.
Place of Publication (Country Code)
DE