X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Logic programming 86 : proceedings of the 5. conference, Tokyo, Japan, June 23 - 26, 1986 (1987)
    Berlin u.a. : Springer
    Details
    UID:
    b3kat_BV035880594
    Format: 1 Online-Ressource (179 S. , graph. Darst.)
    ISBN: 3540180249 , 0387180249
    Series Statement: Lecture notes in computer science 264
    Note: Literaturangaben
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Logische Programmierung ; Konferenzschrift
    DOI: 10.1007/3-540-18024-9
    URL: Volltext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    EUV Frankfurt
    HTW Berlin
    TH Wildau
    BTU Cottbus
  • 2
    Online Resource
    Online Resource
    Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23 - 26, 1986 (1987)
    Berlin [u.a.] : Springer
    Details
    UID:
    gbv_595130593
    Format: Online-Ressource (179 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540477129
    Series Statement: Lecture notes in computer science 264
    Content: Plan-based text generation in an on-line help system -- Inheritance hierarchy mechanism in prolog -- Kore : A hybrid knowledge programming environment for decision support based on a logic programming language -- Legal expert system — LES-2 -- A prototype software simulator for FGHC -- A foundation of reasoning by analogy: Analogical union of logic programs -- Logic interface system on navigational database systems -- Programming in modal logic: An extension of PROLOG based on modal logic -- On parallel programming methodology in GHC -- An optimizing prolog compiler -- A prolog based object oriented language SPOOL and its compiler -- Development of C-Prolog compiler -- A framework for interactive problem solving based on interactive query revision -- Prolog computation model BPM and its debugger PROEDIT2 -- Fast execution mechanisms of parallel inference engine PIE: PIEpelined goal rewriting and goal multicasting -- - Fleng Prolog - The language which turns supercomputers into parallel prolog machines.
    Content: This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries.
    Note: Literaturangaben
    Additional Edition: ISBN 3540180249
    Additional Edition: ISBN 0387180249
    Additional Edition: ISBN 9783540180241
    Additional Edition: Erscheint auch als Druck-Ausgabe Logic programming '86 Berlin [u.a.] : Springer, 1987 ISBN 3540180249
    Additional Edition: ISBN 0387180249
    Language: English
    Keywords: Konferenzschrift
    DOI: 10.1007/3-540-18024-9
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    URL: Inhaltstext
    URL: Volltext
    URL: Cover
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    Stabi Berlin
    UB Potsdam
  • 3
    Book
    Book
    Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23 - 26, 1986 (1987)
    Berlin [u.a.] :Springer,
    Details
    UID:
    almahu_BV004160088
    Format: 179 S. : , graph. Darst.
    ISBN: 3-540-18024-9 , 0-387-18024-9
    Series Statement: Lecture notes in computer science 264
    Note: Literaturangaben
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Logische Programmierung ; Konferenzschrift ; Konferenzschrift
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
    HU Berlin get availability status
  • 4
    Online Resource
    Online Resource
    Logic Programming '86 : Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 (1987)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almafu_9959186233902883
    Format: 1 online resource (VIII, 184 p.)
    Edition: 1st ed. 1987.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-47712-8
    Series Statement: Lecture Notes in Computer Science, 264
    Content: This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries.
    Note: Bibliographic Level Mode of Issuance: Monograph , Plan-based text generation in an on-line help system -- Inheritance hierarchy mechanism in prolog -- Kore : A hybrid knowledge programming environment for decision support based on a logic programming language -- Legal expert system — LES-2 -- A prototype software simulator for FGHC -- A foundation of reasoning by analogy: Analogical union of logic programs -- Logic interface system on navigational database systems -- Programming in modal logic: An extension of PROLOG based on modal logic -- On parallel programming methodology in GHC -- An optimizing prolog compiler -- A prolog based object oriented language SPOOL and its compiler -- Development of C-Prolog compiler -- A framework for interactive problem solving based on interactive query revision -- Prolog computation model BPM and its debugger PROEDIT2 -- Fast execution mechanisms of parallel inference engine PIE: PIEpelined goal rewriting and goal multicasting -- - Fleng Prolog - The language which turns supercomputers into parallel prolog machines. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-18024-9
    Language: English
    DOI: 10.1007/3-540-18024-9
    URL: http://dx.doi.org/10.1007/3-540-18024-9
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    FU Berlin
    Charité
  • 5
    Online Resource
    Online Resource
    Logic Programming '86 : Proceedings of the 5th Conference Tokyo, Japan, June 23–26, 1986 (1987)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920875302882
    Format: VIII, 184 p. , online resource.
    ISBN: 9783540477129
    Series Statement: Lecture Notes in Computer Science, 264
    Content: This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries.
    Note: Plan-based text generation in an on-line help system -- Inheritance hierarchy mechanism in prolog -- Kore : A hybrid knowledge programming environment for decision support based on a logic programming language -- Legal expert system — LES-2 -- A prototype software simulator for FGHC -- A foundation of reasoning by analogy: Analogical union of logic programs -- Logic interface system on navigational database systems -- Programming in modal logic: An extension of PROLOG based on modal logic -- On parallel programming methodology in GHC -- An optimizing prolog compiler -- A prolog based object oriented language SPOOL and its compiler -- Development of C-Prolog compiler -- A framework for interactive problem solving based on interactive query revision -- Prolog computation model BPM and its debugger PROEDIT2 -- Fast execution mechanisms of parallel inference engine PIE: PIEpelined goal rewriting and goal multicasting -- - Fleng Prolog - The language which turns supercomputers into parallel prolog machines.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540180241
    Language: English
    DOI: 10.1007/3-540-18024-9
    URL: http://dx.doi.org/10.1007/3-540-18024-9
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 6
    Online Resource
    Online Resource
    Logic Programming '86 : Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 (1987)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621426502882
    Format: VIII, 184 p. , online resource.
    Edition: 1st ed. 1987.
    ISBN: 9783540477129
    Series Statement: Lecture Notes in Computer Science, 264
    Content: This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries.
    Note: Plan-based text generation in an on-line help system -- Inheritance hierarchy mechanism in prolog -- Kore : A hybrid knowledge programming environment for decision support based on a logic programming language -- Legal expert system - LES-2 -- A prototype software simulator for FGHC -- A foundation of reasoning by analogy: Analogical union of logic programs -- Logic interface system on navigational database systems -- Programming in modal logic: An extension of PROLOG based on modal logic -- On parallel programming methodology in GHC -- An optimizing prolog compiler -- A prolog based object oriented language SPOOL and its compiler -- Development of C-Prolog compiler -- A framework for interactive problem solving based on interactive query revision -- Prolog computation model BPM and its debugger PROEDIT2 -- Fast execution mechanisms of parallel inference engine PIE: PIEpelined goal rewriting and goal multicasting -- - Fleng Prolog - The language which turns supercomputers into parallel prolog machines.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662181607
    Additional Edition: Printed edition: ISBN 9783540180241
    Language: English
    DOI: 10.1007/3-540-18024-9
    URL: https://doi.org/10.1007/3-540-18024-9
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 7
    Online Resource
    Online Resource
    Logic Programming '86 : Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 (1987)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edoccha_9959186233902883
    Format: 1 online resource (VIII, 184 p.)
    Edition: 1st ed. 1987.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-47712-8
    Series Statement: Lecture Notes in Computer Science, 264
    Content: This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries.
    Note: Bibliographic Level Mode of Issuance: Monograph , Plan-based text generation in an on-line help system -- Inheritance hierarchy mechanism in prolog -- Kore : A hybrid knowledge programming environment for decision support based on a logic programming language -- Legal expert system — LES-2 -- A prototype software simulator for FGHC -- A foundation of reasoning by analogy: Analogical union of logic programs -- Logic interface system on navigational database systems -- Programming in modal logic: An extension of PROLOG based on modal logic -- On parallel programming methodology in GHC -- An optimizing prolog compiler -- A prolog based object oriented language SPOOL and its compiler -- Development of C-Prolog compiler -- A framework for interactive problem solving based on interactive query revision -- Prolog computation model BPM and its debugger PROEDIT2 -- Fast execution mechanisms of parallel inference engine PIE: PIEpelined goal rewriting and goal multicasting -- - Fleng Prolog - The language which turns supercomputers into parallel prolog machines. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-18024-9
    Language: English
    DOI: 10.1007/3-540-18024-9
    URL: http://dx.doi.org/10.1007/3-540-18024-9
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    Charité
  • 8
    Online Resource
    Online Resource
    Logic Programming '86 : Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 (1987)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edocfu_9959186233902883
    Format: 1 online resource (VIII, 184 p.)
    Edition: 1st ed. 1987.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-47712-8
    Series Statement: Lecture Notes in Computer Science, 264
    Content: This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries.
    Note: Bibliographic Level Mode of Issuance: Monograph , Plan-based text generation in an on-line help system -- Inheritance hierarchy mechanism in prolog -- Kore : A hybrid knowledge programming environment for decision support based on a logic programming language -- Legal expert system — LES-2 -- A prototype software simulator for FGHC -- A foundation of reasoning by analogy: Analogical union of logic programs -- Logic interface system on navigational database systems -- Programming in modal logic: An extension of PROLOG based on modal logic -- On parallel programming methodology in GHC -- An optimizing prolog compiler -- A prolog based object oriented language SPOOL and its compiler -- Development of C-Prolog compiler -- A framework for interactive problem solving based on interactive query revision -- Prolog computation model BPM and its debugger PROEDIT2 -- Fast execution mechanisms of parallel inference engine PIE: PIEpelined goal rewriting and goal multicasting -- - Fleng Prolog - The language which turns supercomputers into parallel prolog machines. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-18024-9
    Language: English
    DOI: 10.1007/3-540-18024-9
    URL: http://dx.doi.org/10.1007/3-540-18024-9
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    FU Berlin
  • 9
    Book
    Book
    Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23 - 26, 1986 (1987)
    Berlin [u.a.] :Springer,
    Details
    UID:
    almafu_BV004160088
    Format: 179 S. : , graph. Darst.
    ISBN: 3-540-18024-9 , 0-387-18024-9
    Series Statement: Lecture notes in computer science 264
    Note: Literaturangaben
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Logische Programmierung ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    FU Berlin get availability status
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 9783540081241?
Did you mean 9783540119241?
Did you mean 9783540080541?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages