Logics in Artificial Intelligence
Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, Steffen Holldobler
Häftad
709 kr
Del 9322 - Lecture Notes in Computer Science
Frontiers of Combining Systems
10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Häftad, Engelska, 2015
709 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. decision procedures; decision procedures for verification;
Produktinformation
- Utgivningsdatum2015-11-12
- Mått155 x 235 x 21 mm
- Vikt569 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor357
- FörlagSpringer International Publishing AG
- ISBN9783319242453
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Computer Security. ESORICS 2024 International Workshops
Joaquin Garcia-Alfaro, Harsha Kalutarage, Naoto Yanai, Rafał Kozik, Paweł Ksieniewicz, Michał Woźniak, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Rita Ugarelli, Isabel Praça, Basel Katt, Sandeep Pirbhulal, Ankur Shukla, Marek Pawlicki, Michał Choraś, Rafal Kozik, Pawel Ksieniewicz, Michal Wozniak, Micha¿ Chora¿, Rafa¿ Kozik, Pawe¿ Ksieniewicz, Micha¿ Wo¿niak
Häftad
1 149 kr
Pradikatsexamen: Der Selbststandige Weg Zum Erfolgreichen Examen
Philipp Ter Haar, Carsten Lutz, Matthias Wiedenfels
Häftad
419 kr
Del 11560
Description Logic, Theory Combination, and All That
Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
Häftad
689 kr
Del 13106
Computer Security. ESORICS 2021 International Workshops
Sokratis Katsikas, Costas Lambrinoudakis, Nora Cuppens, John Mylopoulos, Christos Kalloniatis, Weizhi Meng, Steven Furnell, Frank Pallas, Jörg Pohle, M. Angela Sasse, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Jorge Maestre Vidal, Marco Antonio Sotelo Monge, Jorg Pohle
Häftad
989 kr
An Introduction to Description Logic
Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler, Dresden) Baader, Franz (Technische Universitat, Ian (University of Oxford) Horrocks, Carsten (Universitat Bremen) Lutz, Uli (University of Manchester) Sattler
Inbunden
1 249 kr
An Introduction to Description Logic
Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler, Dresden) Baader, Franz (Technische Universitat, Ian (University of Oxford) Horrocks, Carsten (Universitat Bremen) Lutz, Uli (University of Manchester) Sattler
Häftad
659 kr
Del 8736
Del 9766
Del 13785
Computer Security. ESORICS 2022 International Workshops
Sokratis Katsikas, Frédéric Cuppens, Christos Kalloniatis, John Mylopoulos, Frank Pallas, Jörg Pohle, M. Angela Sasse, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Jorge Maestre Vidal, Marco Antonio Sotelo Monge, Massimiliano Albanese, Basel Katt, Sandeep Pirbhulal, Ankur Shukla, Frederic Cuppens, Jorg Pohle
Häftad
1 199 kr