Del 16088 - Lecture Notes in Computer Science

Superposition for Higher-Order Logic

Nyhet

Häftad, Engelska, 2027

Av Alexander Bentkamp

1 869 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

Du kanske också är intresserad av

AI-Powered Content Delivery Networks

Nyhet

AI-Powered Content Delivery Networks

Tanusree Chatterjee, Rajib Banerjee, Souvik Ganguli

3 299 kr

Rare and Infectious Diseases: AI-Supported Predict ion and Diagnosis

Nyhet

Rare and Infectious Diseases: AI-Supported Predict ion and Diagnosis

Sailesh Iyer, Farah Jameli, Atul K Patel, Ellouze Mohamed Omar

3 399 kr

Violence in Medieval and Early Modern Europe

Violence in Medieval and Early Modern Europe

UK) McGlynn, Sean (Plymouth University at Strode College, Sean McGlynn, Sean Mcglynn

1 779 kr

Violence in Medieval and Early Modern Europe

Violence in Medieval and Early Modern Europe

UK) McGlynn, Sean (Plymouth University at Strode College, Sean McGlynn, Sean Mcglynn

449 kr

Cosleepy: Sharing Your Bed with Your Baby Safely and Comfortably

Nyhet

Cosleepy: Sharing Your Bed with Your Baby Safely and Comfortably

Tiffany Belanger

419 kr

Autonomous Systems in the Internet of Vehicles

Nyhet

Autonomous Systems in the Internet of Vehicles

Balamurugan Balusamy, Sandeep Kumar Mathivanan, Prabhu Jayagopal, S. K. B. Sangeetha, Ali Kashif Bashir, India) Balusamy, Balamurugan (Galgotias University, Greater Noida, UK) Bashir, Ali Kashif (Manchester Metropolitan University, S K B Sangeetha

3 109 kr

Hembiträdet

Nyhet

Del 1

Hembiträdet

Freida McFadden

79 kr125 kr

Gottigheter : En kokbok till

Gottigheter : En kokbok till

Jennifer Eriksson

329 kr

Det borde man ju veta - 3 SAKER

Det borde man ju veta - 3 SAKER

Kylskåpspoesi

149 kr229 kr

Det borde man ju veta Ja eller Nej

Det borde man ju veta Ja eller Nej

Kylskåpspoesi

149 kr229 kr