図書

Computational logic : Symposium : 7th Conference : Nov 1990, Brussels, Belgium. (EUR ; 13147)

Icons representing 図書

Computational logic : Symposium : 7th Conference : Nov 1990, Brussels, Belgium.

(EUR ; 13147)

Call No. (NDL)
M17-91-0736
Bibliographic ID of National Diet Library
000003481961
Material type
図書
Author
European Strategic Programme for Research and Development in Information Technology. Basic Research Action 3012 (COMPULOG)
Publisher
Springer-Verlag
Publication date
c1990.
Material Format
Paper
Capacity, size, etc.
v.
NDC
-
View All

Notes on use

Note (General)：

Papers.(ESPRIT Basic Research Series)Index term: computational logic ; ESPRIT ; COMPULOG....

Search by Bookstore

Search by Bookstore

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
3540534377 (Berlin)
0387534377 (New York)
Title
Computational logic : Symposium : 7th Conference : Nov 1990, Brussels, Belgium.
Series Title
EUR ; 13147
Author Heading
European Strategic Programme for Research and Development in Information Technology. Basic Research Action 3012 (COMPULOG)
Publication, Distribution, etc.
Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date
c1990.
Publication Date (W3CDTF)
1990
Extent
v.
Alternative Title
(ESPRIT Basic Research Series)
computational logic ; ESPRIT ; COMPULOG