Foundations of equational logic programming / Steffen Hölldobler. (Lecture notes in computer science ; 353. Lecture notes in artificial intelligence)

Foundations of equational logic programming / Steffen Hölldobler.

(Lecture notes in computer science ; 353. Lecture notes in artificial intelligence)

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: 038751533X (U.S.)
Title: Foundations of equational logic programming / Steffen Hölldobler.
Series Title: Lecture notes in computer science ; 353. Lecture notes in artificial intelligence
Title Heading: Lecture notes in computer science ; 353.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Author Heading: Hölldobler, Steffen, 1957-
Publication, Distribution, etc.: Berlin : Springer-Verlag
New York : Springer-Verlag
Tokyo : Springer-Verlag
Publication Date: c1989.
Publication Date (W3CDTF): 1989
Extent: x, 250 p. : ill. ; 25 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: プログラミング (電子計算機) Puroguramingu (densikeisanki)
Logic programming.
LCC: QA76.63
DDC: 006.3
NDLC: M159
Note (Bibliography): Includes bibliographical references and index.
Holding library: 国立国会図書館
Call No.: M159-A75
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003180250
http://id.ndl.go.jp/bib/000003180250
LC Control Number: 89021878
https://lccn.loc.gov/89021878
Bibliographic Record Category (NDL): 211