Superposition for Higher-Order Logic

AvAlexander Bentkamp

Häftad, Engelska, 2027

1 619 kr

Kommande

Produktinformation

Utforska kategorier

Hoppa över listan

Mer från samma serie

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

906 kr

Del 13476

Serious Games

Heinrich Söbke, Pia Spangenberger, Philipp Müller, Stefan Göbel

Häftad, 2022

774 kr

Hoppa över listan

Du kanske också är intresserad av

Fråga 7

Richard Flanagan

Inbunden, 2025

4,0 utav 5 stjärnor. Totalt antal röster:(9)

259 kr

  • -30%

Bröllopsgästerna

Alison Espach

Pocket, 2026

4,0 utav 5 stjärnor. Totalt antal röster:(1)

69 kr99 kr