Gå direkte til innholdet

Sommersalg på pocket fra 79,- »

Til startsiden
Søk etter din neste leseopplevelse
Advances in Logic Programming and Automated Reasoning
Spar

Advances in Logic Programming and Automated Reasoning

innbundet, Engelsk, 1992
325,-
Gi meg beskjed
Midlertidig utsolgt
This series reviews research contributions in logic programming and automated reasoning and is desinged to stimulate and sustain new, productive lines of investigation into symbolic and algebraic computing techniques as they relate to logic programming and automate reasoning. Topics covered include equational reasoning, parallel programming in logic, term rewriting systems, control of logic programs, completion procedures, unification and matching algorithms, design and implementation of deduction systems, logical methods of knowledge representation, logic-based inference techniques, and programs synthesis and verification.

Mer om Adlibris

Om Adlibris

Vi er Nordens største nettbokhandel, og tilbyr over 13 millioner boktitler og det meste av det beste innen spill, leker, hobby og garn. Vår misjon er å være en moderne bokhandel for alle bokelskere: et innbydende sted for lesing, læring og skaping. Det er hva som driver oss, hver dag. Adlibris er en del av Bonnier Group.

  • Alltid gode priser

  • Fri frakt over 299,-

  • Nordens største bokhandel

Meld deg på nyhetsbrev

Motta våre beste boktips, nyheter og gode tilbud. Registrer deg nå, og få 10% rabatt på det første kjøpet ditt. Tilbudet gjelder kun nye abonnenter og privatkunder. Rabatten gjelder ikke norske bøker utgitt 2024, fag- og studielitteratur, digitale bøker og gavekort.