Hoppa till sidans huvudinnehåll

Depth-bounded Reasoning. Classical Propositional Logic

Häftad, Engelska, 2024

AvMarcello D'Agostino,Dov Gabbay,Costanza Larese

299 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

  • Utgivningsdatum2024-11-11
  • Mått156 x 235 x 13 mm
  • Vikt358 g
  • FormatHäftad
  • SpråkEngelska
  • Antal sidor252
  • FörlagCollege Publications
  • ISBN9781848904422

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

Labelled Deduction

Marcello D'Agostino, Dov M. Gabbay, David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò, Dov M Gabbay

Inbunden

1 369 kr

Del 17

Labelled Deduction

David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò, Marcello D'Agostino

Häftad

1 369 kr

Hoppa över listan

Du kanske också är intresserad av

Labelled Deduction

Marcello D'Agostino, Dov M. Gabbay, David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò, Dov M Gabbay

Inbunden

1 369 kr

Del 17

Labelled Deduction

David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò, Marcello D'Agostino

Häftad

1 369 kr

Del 1

Handbook of Temporal Reasoning in Artificial Intelligence

Dov Gabbay, Lluis Vila, Michael David Fisher, Dov M. Gabbay, Lluis Vila, United Kingdom.) Fisher, Michael David (University of Liverpool, Liverpool, UK) Gabbay, Dov M. (King's College London, Spain.) Vila, Lluis (Universitat Politecnica de Catalunya, Barcelona

Inbunden

4 179 kr