Frontiers of Combining Systems

10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Häftad, Engelska, 2015

Av Carsten Lutz, Silvio Ranise

729 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

3D-grafik och modellering inom Data och it
Systemvetenskap och AI inom Data och it
Artificiell intelligens inom Data och it
Programmeringsböcker inom Data och it

Du kanske också är intresserad av

Logics in Artificial Intelligence

Logics in Artificial Intelligence

Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, Steffen Holldobler

729 kr

Pradikatsexamen: Der Selbststandige Weg Zum Erfolgreichen Examen

Pradikatsexamen: Der Selbststandige Weg Zum Erfolgreichen Examen

Philipp Ter Haar, Carsten Lutz, Matthias Wiedenfels

479 kr

Description Logic, Theory Combination, and All That

Description Logic, Theory Combination, and All That

Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter

709 kr

Computer Security. ESORICS 2021 International Workshops

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

1 019 kr

An Introduction to Description Logic

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

1 289 kr

An Introduction to Description Logic

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

679 kr

KI 2014: Advances in Artificial Intelligence

KI 2014: Advances in Artificial Intelligence

Carsten Lutz, Michael Thielscher

729 kr

Cyber-Physical Security for Critical Infrastructures Protection

Cyber-Physical Security for Critical Infrastructures Protection

Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Rita Ugarelli, Gabriele Giunta, Isabel Praça, Federica Battisti, Isabel Praca

589 kr