Logic-based program synthesis and transformation : 23rd international symposium, LOPSTR 2013 : Madrid, Spain, September 18-19, 2013 : revised selected papers : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8901)

Logic-based program synthesis and transformation : 23rd international symposium, LOPSTR 2013 : Madrid, Spain, September 18-19, 2013 : revised selected papers : Sep 2013, Madrid, Spain.

(Lecture Notes in Computer Science ; 8901)

Call No. (NDL): M17-15-1535
Bibliographic ID of National Diet Library: 026072849

Material type: 図書

Author: LOPSTR 2013 (2013 : Madrid, Spain)ほか

Publisher: Springer

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: xii, 236 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and revised selected papers.

Other physical details：: illustrations

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: 9783319141244
3319141244
ISSN (series): 0302-9743
Title: Logic-based program synthesis and transformation : 23rd international symposium, LOPSTR 2013 : Madrid, Spain, September 18-19, 2013 : revised selected papers : Sep 2013, Madrid, Spain.
Series Title: Lecture Notes in Computer Science ; 8901
Title Heading: LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Lecture notes in computer science ; 8901.
Author Heading: LOPSTR 2013 (2013 : Madrid, Spain)
Gupta, G. (Gopal), 1963-
Peña, Ricardo, 1950-
Publication, Distribution, etc.: Cham : Springer (出版)
Publication Date: [2014]
Publication Date (W3CDTF): 2014
Extent: xii, 236 pages
Other physical details: illustrations
Size: 24 cm.
Place of Publication (Country Code): CH
Text Language Code: eng
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Logic programming--Congresses.
Constraint programming (Computer science)--Congresses.
NDLC: M17
Target Audience: 一般
Note (General): Abstracts and revised selected papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-1535
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 026072849
http://id.ndl.go.jp/bib/026072849
OCLC No.: 907346853
https://www.worldcat.org/oclc/907346853
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215