Logic program synthesis and transformation : 5th International workshop : Sep 1995, Utrecht, The Netherlands. (Lecture Notes in Computer Science ; 1048)

Logic program synthesis and transformation : 5th International workshop : Sep 1995, Utrecht, The Netherlands.

(Lecture Notes in Computer Science ; 1048)

Call No. (NDL): M17-00-0457
Bibliographic ID of National Diet Library: 000003510258

Material type: 図書

Author: -

Publisher: Springer

Publication date: 1996.

Material Format: Paper

Capacity, size, etc.: v.

NDC: -

View All

Notes on use

Note (General)：: Revised papers and abstracts.Also known as LOPSTR '95. Organized in parallel with PLILP '95, 7th Symposium on programming languages: implementations, ...

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: 3540609393 (pbk)
Title: Logic program synthesis and transformation : 5th International workshop : Sep 1995, Utrecht, The Netherlands.
Series Title: Lecture Notes in Computer Science ; 1048
Publication, Distribution, etc.: Springer
Publication Date: 1996.
Publication Date (W3CDTF): 1996
Extent: v.
Alternative Title: Also known as LOPSTR '95. Organized in parallel with PLILP '95, 7th Symposium on programming languages: implementations, logics, and programs
logic program synthesis ; LOPSTR ; logic program transformation
NDLC: M17
M159
Note (General): Revised papers and abstracts.
Also known as LOPSTR '95. Organized in parallel with PLILP '95, 7th Symposium on programming languages: implementations, logics, and programs.
Index term: logic program synthesis ; LOPSTR ; logic program transformation.
BL shelfmark: 5180.185 vol 1048 1996.
Holding library: 国立国会図書館
Call No.: M17-00-0457
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003510258
http://id.ndl.go.jp/bib/000003510258
UKMARC No.: G05000237
Bibliographic Record Category (NDL): 215