Declarative agent languages and technologies 10 : 10th international workshop, DALT 2012 : Valencia, Spain, June 4, 2012 : revised selected papers : Jun 2012, Valencia, Spain. (Lecture Notes in Computer Science ; 7784. Lecture Notes in Artificial Intelligence)

Declarative agent languages and technologies 10 : 10th international workshop, DALT 2012 : Valencia, Spain, June 4, 2012 : revised selected papers : Jun 2012, Valencia, Spain.

(Lecture Notes in Computer Science ; 7784. Lecture Notes in Artificial Intelligence)

Call No. (NDL): M17-13-2757
Bibliographic ID of National Diet Library: 024465230

Material type: 図書

Author: International Workshop on Declarative Agent Languages and Technologies (10th : 2012 : Valencia, Spain)ほか

Publisher: Springer

Publication date: c2013.

Material Format: Paper

Capacity, size, etc.: xii, 207 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Revised selected papers.

Other physical details：: ill.

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: 9783642378904 (e-ISBN)
9783642378898
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Declarative agent languages and technologies 10 : 10th international workshop, DALT 2012 : Valencia, Spain, June 4, 2012 : revised selected papers : Jun 2012, Valencia, Spain.
Series Title: Lecture Notes in Computer Science ; 7784. Lecture Notes in Artificial Intelligence
Title Heading: Lecture notes in computer science ; 7784. 1611-3349
Lecture notes in computer science. Lecture notes in artificial intelligence.
LNCS sublibrary. SL 7, Artificial intelligence.
Author Heading: International Workshop on Declarative Agent Languages and Technologies (10th : 2012 : Valencia, Spain)
Baldoni, Matteo, 1968-
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2013.
Publication Date (W3CDTF): 2013
Extent: xii, 207 p.
Other physical details: ill.
Size: 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Genre/Form Terms: Electronic books.
Subject Heading: Declarative programming languages--Congresses.
Intelligent agents (Computer software)--Congresses.
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Logics and Meanings of Programs.
LCC: QA76.615
DDC: 005.13
NDLC: M17
Target Audience: 一般
Note (General): Revised selected papers.
Note (Bibliography): Includes bibliographical references and author index.
Source: SpringerLink
http://dx.doi.org/10.1007/978-3-642-37890-4
Holding library: 国立国会図書館
Call No.: M17-13-2757
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 024465230
http://id.ndl.go.jp/bib/024465230
OCLC No.: 841237036
https://www.worldcat.org/oclc/841237036
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215