Computational logic : Advanced study institute : Jul 1997, Marktoberdorf, Germany. (NATO ASI Series Series F ; 165)

Computational logic : Advanced study institute : Jul 1997, Marktoberdorf, Germany.

(NATO ASI Series Series F ; 165)

Notes on use

Note (General)：: Papers.Held as Summer School.Index term: computational logic ; NATO....

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

Material Type: 図書
ISBN: 3540645896
Title: Computational logic : Advanced study institute : Jul 1997, Marktoberdorf, Germany.
Series Title: NATO ASI Series Series F ; 165
Author Heading: North Atlantic Treaty Organization.
Publication, Distribution, etc.: Springer
Publication Date: 1999.
Publication Date (W3CDTF): 1999
Extent: v.
Alternative Title: Held as Summer School
computational logic ; NATO
NDLC: M17
MA
Note (General): Papers.
Held as Summer School.
Index term: computational logic ; NATO.
BL shelfmark: 6033.6488 vol 165 1999.
Holding library: 国立国会図書館
Call No.: M17-00-0083
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003509881
http://id.ndl.go.jp/bib/000003509881
UKMARC No.: G05785323
Bibliographic Record Category (NDL): 215