Jump to main content
図書

Functional and logic programming : 13th international symposium, FLOPS 2016 : Kochi, Japan, March 4-6, 2016 : proceedings. (Lecture Notes in Computer Science ; 9613)

Icons representing 図書

Functional and logic programming : 13th international symposium, FLOPS 2016 : Kochi, Japan, March 4-6, 2016 : proceedings.

(Lecture Notes in Computer Science ; 9613)

Call No. (NDL)
M17-20-870
Bibliographic ID of National Diet Library
029914434
Material type
図書
Author
Fuji International Symposium on Functional and Logic Programming (13th : 2016 : Kochi-shi, Japan)ほか
Publisher
Springer
Publication date
[2016]
Material Format
Paper
Capacity, size, etc.
xii, 251 pages ; 23 cm.
NDC
-
View Details

Notes on use

Note (General):

An abstract and papers."In addition to the invited talks and contributed papers, the symposium program included, for the first time, tutorials and ......

Other physical details:

illustrations (black and white)

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
9783319296036 (paperback)
ISSN (series)
0302-9743
Publication, Distribution, etc.
Publication Date
[2016]
Publication Date (W3CDTF)
2016
Extent
xii, 251 pages
Other physical details
illustrations (black and white)
Size
23 cm.
Additional Title
Mar 2016, Kochi, Japan.
Place of Publication (Country Code)
CH
Text Language Code
eng
Content Type
txt : text
Media Type
n : unmediated
Carrier Type
nc : volume
NDLC
Target Audience
一般
Note (General)
An abstract and papers.
"In addition to the invited talks and contributed papers, the symposium program included, for the first time, tutorials and ..."--Preface.
Note (Bibliography)
Includes bibliographical references and author index.
Note (Additional Physical Form Available)
Also published electronically.
Holding library
国立国会図書館
Call No.
M17-20-870
Data Provider (Database)
国立国会図書館 : 国立国会図書館蔵書
Bibliographic ID (NDL)
029914434
Cataloging Rule
RDA
Bibliographic Record Category (NDL)
215