Del 16088 - Lecture Notes in Computer Science

Superposition for Higher-Order Logic

Nyhet

Häftad, Engelska, 2027

AvAlexander Bentkamp

1 869 kr

Kommande

Produktinformation

Utgivningsdatum2027-06-07
Mått155 x 235 x undefined mm
FormatHäftad
SpråkEngelska
SerieDel 16088 i Lecture 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 209 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 299 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 079 kr

Glömda om söndagen

4 pocket för 3

Glömda om söndagen

Valérie Perrin

115 kr

Svensk Lag 2026

Nyhet

Svensk Lag 2026

1 349 kr

Älskling

Älskling

Kylskåpspoesi

99 kr

Long Game

Nyhet

Del 6

Long Game

249 kr

Skam

Nyhet

Del 3

Skam

Ann-Helén Laestadius

79 kr129 kr

Game Changer

Nyhet

Del 1

Game Changer

249 kr