Automated Reasoning via Multi-Sorted Fragment of Computable Set Theory 1
bokomslag Automated Reasoning via Multi-Sorted Fragment of Computable Set Theory
Data & IT

Automated Reasoning via Multi-Sorted Fragment of Computable Set Theory

Daniele Francesco Santamaria

Pocket

1559:-

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

Uppskattad leveranstid 7-11 arbetsdagar

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

  • 196 sidor
  • 2023
  • Författare: Daniele Francesco Santamaria
  • Format: Pocket/Paperback
  • ISBN: 9786206146094
  • Språk: Engelska
  • Antal sidor: 196
  • Utgivningsdatum: 2023-02-20
  • Förlag: LAP Lambert Academic Publishing

Du kanske gillar

  1. bokomslag A Set-Theoretical Representation For OWL 2 Profiles

    A Set-Theoretical Representation For ...

    Santamaria Daniele Francesco

    Pocket

    969:-
  2. bokomslag Vår kokbok student

    Vår kokbok student

    Sara Begner

    Inbunden

    279:- (349:-)
  3. Ny
    bokomslag Min lyckliga plats

    Min lyckliga plats

    Emily Henry

    Pocket

    69:- (110:-)
  4. Ny
    bokomslag Det slutna rummet

    Det slutna rummet

    Mari Jungstedt

    Pocket

    69:- (119:-)
  5. Ny
    bokomslag Den sista utposten

    Den sista utposten

    Mari Jungstedt

    Inbunden

    259:- (289:-)
  6. Ny
    bokomslag Bestseller

    Bestseller

    Pascal Engman

    Pocket

    110:-
  7. bokomslag Pojken, mullvaden, räven och hästen

    Pojken, mullvaden, räven och hästen

    Charlie Mackesy

    Inbunden

    199:- (299:-)
  8. bokomslag De fenomenala fruntimren på Grand Hôtel

    De fenomenala fruntimren på Grand Hôtel

    Ruth Kvarnström-Jones

    Pocket

    119:-
  9. bokomslag Dit floden för dig

    Dit floden för dig

    Shelley Read

    Pocket

    119:-
  10. Ny
    bokomslag Födelsedagen

    Födelsedagen

    Sofie Sarenbrant • Carina Bergfeldt

    Pocket

    69:- (119:-)