Meta-Logics and Logic Programming 1
bokomslag Meta-Logics and Logic Programming
Data & IT

Meta-Logics and Logic Programming

Krzysztof R Apt • Franco Turini

1039:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 3-8 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 356 sidor
  • 2003
  • Författare: Krzysztof R Apt, Franco Turini
  • Format: Trade Paperback
  • ISBN: 9780262511681
  • Språk: Engelska
  • Antal sidor: 356
  • Utgivningsdatum: 2003-03-17
  • Förlag: MIT Press Ltd

Du kanske gillar

  1. bokomslag Logic Program Synthesis and Transformation - Meta-Programming in Logic

    Logic Program Synthesis and Transform...

    Franco Turini Laurent Fribourg

    Pocket

    749:-
  2. bokomslag AI*IA 2003: Advances in Artificial Intelligence

    AI*IA 2003: Advances in Artificial In...

    Franco Turini Amedeo Cappelli

    Pocket

    749:-
  3. bokomslag Monasterio de San Jerónimo

    Monasterio de San Jerónimo

    Por El Espíritu Monseñor Eusé Sintra, Valter Turini, J Thomas Msc Saldias

    Pocket

    579:-
  4. bokomslag New Trends in Constraints

    New Trends in Constraints

    Krzysztof R Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi

    Pocket

    749:-
  5. bokomslag Autobiographical Poems

    Autobiographical Poems

    Francesco Turini Bufalini, Francesca Turini Bufalini, Natalia Costa-Zalessow

    Pocket

    219:-
  6. bokomslag Logic Programming Languages

    Logic Programming Languages

    Krzysztof R Apt, J W De Bakker, J M Rutten

    729:-
  7. bokomslag Brief History Of Mathematics For Curious Minds, A

    Brief History Of Mathematics For Curi...

    Krzysztof R Apt

    Pocket

    639:-
  8. bokomslag Metalogic

    Metalogic

    Geoffrey Hunter

    369:-
  9. bokomslag Metalog FieldBook

    Metalog FieldBook

    Daniela Voss Tobias Voss

    Pocket

    879:-
  10. bokomslag Meta-logical Investigations in Argumentation Networks

    Meta-logical Investigations in Argume...

    Dov M Gabbay

    439:-

Andra av samma författare

  1. bokomslag Logic Programming Languages

    Logic Programming Languages

    Krzysztof R Apt, J W De Bakker, J M Rutten

    729:-
  2. bokomslag Lectures in Game Theory for Computer Scientists

    Lectures in Game Theory for Computer ...

    Krzysztof R Apt

    Inbunden

    1989:-
  3. bokomslag Constraint Logic Programming using Eclipse

    Constraint Logic Programming using Ec...

    Krzysztof R Apt

    Inbunden

    1349:-
  4. bokomslag Verification of Sequential and Concurrent Programs

    Verification of Sequential and Concur...

    Krzysztof R Apt, Frank S De Boer, Ernst-Rüdiger Olderog

    1189:-
  5. bokomslag Edsger Wybe Dijkstra

    Edsger Wybe Dijkstra

    Tony Hoare Krzysztof R Apt

    Pocket

    1779:-
  6. bokomslag Edsger Wybe Dijkstra

    Edsger Wybe Dijkstra

    Tony Hoare Krzysztof R Apt

    Inbunden

    2249:-
  7. bokomslag Verification of Sequential and Concurrent Programs

    Verification of Sequential and Concur...

    Krzysztof R Apt, Frank S De Boer, Ernst-Rüdiger Olderog

    Inbunden

    1469:-
  8. bokomslag AI*IA 2003: Advances in Artificial Intelligence

    AI*IA 2003: Advances in Artificial In...

    Franco Turini Amedeo Cappelli

    Pocket

    749:-
  9. bokomslag Recent Advances in Constraints

    Recent Advances in Constraints

    Krzysztof R Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza

    Pocket

    749:-
  10. bokomslag Logic Program Synthesis and Transformation - Meta-Programming in Logic

    Logic Program Synthesis and Transform...

    Franco Turini Laurent Fribourg

    Pocket

    749:-