• 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. Programmeringsböcker

    Functional and Logic Programming

    4th Fuji International Symposium, FLOPS''99 Tsukuba, Japan, November 11-13, 1999 Proceedings

    AvTaisuke Sato,Aart Middeldorp

    E-bok
    PDF, Engelska, 2006

    732 kr

    Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

    Beskrivning

    This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS’99) held in Tsukuba, Japan, November 11–13, 1999, and hosted by the Electrotechnical Laboratory (ETL). FLOPS is a forum for presenting and discussing all issues concerning functional programming, logic programming, and their integration. The sym- sium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan Village (1996), and Kyoto (1998). 1 There were 51 submissions from Austria ( ),Belgium (2),Brazil(3),China 3 3 1 7 (1), Denmark (2), France (3 ), Germany (8), Ireland (1), Israel ( ), Italy (1 ), 4 3 12 1 Japan (9 ), Korea (1), Morocco (1), The Netherlands (1), New Zealand (1), 3 1 1 3 5 Portugal ( ), Singapore ( ), Slovakia (1), Spain (4 ), Sweden (1), UK (4 ), 2 3 4 6 1 and USA (2 ), of which the program committee selected 21 for presentation. In 4 addition, this volume contains full papers by the two invited speakers, Atsushi Ohori and Mario Rodr´?guez-Artalejo.

    Produktinformation

    • Utgivningsdatum:2006-12-29
    • Språk:Engelska
    • Filformat:PDF
    • Kopieringsskydd:LCP
    • ISBN:9783540479505
    • Förlag:Springer Berlin Heidelberg

    Utforska kategorier

    • Programmeringsböcker inom Data och IT
    • Systemvetenskap och AI inom Data och IT
    • Artificiell intelligens inom Data och IT
    Hoppa över listan

    Du kanske också är intresserad av

    Aart Middeldorp, Taisuke Sato - Functional and Logic Programming, Häftad

    Functional and Logic Programming

    Aart Middeldorp, Taisuke Sato

    Häftad, 1999

    560 kr

    Aart Middeldorp - Rewriting Techniques and Applications, Häftad

    Rewriting Techniques and Applications

    Aart Middeldorp

    Häftad, 2001

    560 kr

    Andrei Voronkov, Aart Middeldorp, Ken McMillan - Logic for Programming, Artificial Intelligence, and Reasoning, E-bok

    Logic for Programming, Artificial Intelligence, and Reasoning

    Andrei Voronkov, Aart Middeldorp, Ken McMillan

    E-bok
    2013

    732 kr

    Roel de Vrijer, Femke van Raamsdonk, Vincent van Oostrom, Aart Middeldorp - Processes, Terms and Cycles: Steps on the Road to Infinity, E-bok

    Processes, Terms and Cycles: Steps on the Road to Infinity

    Roel de Vrijer, Femke van Raamsdonk, Vincent van Oostrom, Aart Middeldorp

    E-bok
    2005

    1 416 kr

    Aart Middeldorp - Rewriting Techniques and Applications, E-bok

    Rewriting Techniques and Applications

    Aart Middeldorp

    E-bok
    2003

    732 kr

    Ken McMillan, Aart Middeldorp, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

    Logic for Programming, Artificial Intelligence, and Reasoning

    Ken McMillan, Aart Middeldorp, Andrei Voronkov

    Häftad, 2013

    560 kr

    Aart Middeldorp, Amy P. Felty - Automated Deduction - CADE-25, E-bok

    Automated Deduction - CADE-25

    Aart Middeldorp, Amy P. Felty

    E-bok
    2015

    732 kr

    Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer - Processes, Terms and Cycles: Steps on the Road to Infinity, Häftad

    Processes, Terms and Cycles: Steps on the Road to Infinity

    Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer

    Häftad, 2005

    1 081 kr

    Amy P. Felty, Aart Middeldorp - Automated Deduction - CADE-25, Häftad
    Del 9195

    Automated Deduction - CADE-25

    Amy P. Felty, Aart Middeldorp

    Häftad, 2015

    560 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