• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI
    3. Artificiell intelligens

    Logic Programming '86

    Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986

    AvEiiti Wada

    Häftad, Engelska, 1987

    Del i serien Lecture Notes in Computer Science

    560 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    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.

    Produktinformation

    • Utgivningsdatum:1987-06-03
    • Mått:155 x 235 x 11 mm
    • Vikt:300 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:184
    • Upplaga:1987
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540180241

    Utforska kategorier

    • Artificiell intelligens inom Data och IT
    • Programmeringsböcker inom Data och IT

    Innehållsförteckning

    • 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.
    Hoppa över listan

    Du kanske också är intresserad av

    Gisela Gerdes, Wolfgang E. Krumbein - Biolaminated Deposits, Häftad
    Del 9

    Biolaminated Deposits

    Gisela Gerdes, Wolfgang E. Krumbein

    Häftad, 1987

    544 kr

    May Gerald - Will & Spirit, Häftad

    Will & Spirit

    May Gerald

    Häftad, 1987

    5,0 utav 5 stjärnor. Totalt antal röster:(1)

    279 kr

    Karl Marx, Friedrich Engels - 1871-1873, Inbunden

    1871-1873

    Karl Marx, Friedrich Engels

    Inbunden, 1987

    697 kr

    Glenn D. Rennels - Computational Model of Reasoning from the Clinical Literature, Häftad

    Computational Model of Reasoning from the Clinical Literature

    Glenn D. Rennels

    Häftad, 1987

    1 081 kr

    Eiiti Wada - Logic Programming '85, Häftad

    Logic Programming '85

    Eiiti Wada

    Häftad, 1986

    560 kr

    Marcus Frank - SIGNERAD - Mackans kost : Middagar och matlådor, Inbunden
    • Signerad!

    SIGNERAD - Mackans kost : Middagar och matlådor

    Marcus Frank

    Inbunden, 2026

    269 kr

    Mats Ahlstedt, Veronica Ahlstedt McCleave - Svindlarna, Pocket
    • -51%
    Del 2

    Svindlarna

    Mats Ahlstedt, Veronica Ahlstedt McCleave

    Pocket, 2025

    3,0 utav 5 stjärnor. Totalt antal röster:(1)

    49 kr99 kr

    Mats Ahlstedt, Veronica Ahlstedt McCleave - Visselblåsaren, Pocket
    • -51%
    Del 1

    Visselblåsaren

    Mats Ahlstedt, Veronica Ahlstedt McCleave

    Pocket, 2025

    3,5 utav 5 stjärnor. Totalt antal röster:(2)

    49 kr99 kr

    Veronica Henry - Puben vid floden, Pocket
    • -51%

    Puben vid floden

    Veronica Henry

    Pocket, 2023

    4,2 utav 5 stjärnor. Totalt antal röster:(18)

    49 kr99 kr

    Carola Häggkvist - SIGNERAD - Jag är Carola, Inbunden
    • Signerad!

    SIGNERAD - Jag är Carola

    Carola Häggkvist

    Inbunden, 2026

    269 kr