Del 16088 i serien Lecture Notes in Computer Science

Superposition for Higher-Order Logic

Häftad, Engelska, 2027

AvAlexander Bentkamp

2 159 kr

Kommande

Produktinformation

Utgivningsdatum2027-06-07
Mått155 x 235 x undefined mm
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
FörlagSpringer Nature Switzerland AG
ISBN9783032016690

Tillhör följande kategorier

Mer från samma serie

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad

699 kr

Attacks and Defenses for the Internet-of-Things

Weizhi Meng, Moti Yung, Georgios Kambourakis

Häftad

849 kr

Machine Learning for Cyber Security

Yang Xiang, Jian Shen

Häftad

1 139 kr

Del 12556

Secure IT Systems

Mikael Asplund, Simin Nadjm-Tehrani

Häftad

999 kr

Persuasive Technology

Yvonne de Kort, Wijnand IJsselsteijn, Cees Midden, Berry Eggen, B.J. Fogg

Häftad

679 kr

Serious Games Development and Applications

Minhua Ma, Manuel Fradinho Oliveira, Sobah Petersen, Jannicke Baalsrud Hauge

Häftad

679 kr

Del 16095

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad

2 129 kr

Del 9751

HCI in Business, Government, and Organizations: eCommerce and Innovation

Fiona Fui-Hoon Nah, Chuan-Hoo Tan

Häftad

699 kr

Chromatic Visions

Irina Mihaela Ciortan, Daniele Ferdani, Jon Yngve Hardeberg, Sophia Sotiropoulou, Manuele Veggi

Häftad

569 kr

Nyhet

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki