Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig
Source
buchhandel.de

Boris Konev and FroCoS (6, 2007, Liverpool)

Frontiers of combining systems : 6th international workshop ; proceedings

Berlin, Heidelberg, New York: Springer, 2007

Title

Frontiers of combining systems : 6th international workshop ; proceedings / FroCoS 2007, Liverpool, UK, September 10 - 12, 2007. Boris Konev ; Frank Wolter (ed.)

Involved 

Boris Konev (Herausgeber)
FroCoS (6, 2007, Liverpool) (Herausgebendes Organ)

Published

Berlin, Heidelberg, New York: Springer
2007

Extent

X, 282 S. : graph. Darst.

ISBN

978-3-540-74620-1

Language

Englisch

Country

Deutschland

Topic

Informatik
Mathematik

Subject

Automatisches Beweisverfahren, Kongress, Liverpool <2007>
Constraint (Künstliche Intelligenz), Kongress, Liverpool <2007>
Deduktionssystem, Computeralgebra, Kongress, Liverpool <2007>
Entscheidungsproblem, Kongress, Liverpool <2007>
Mathematische Logik, Lineare Optimierung, Kongress, Liverpool <2007>

DDC notation

004.015113

Series

Lecture notes in computer science ; Vol. 4720 : Lecture notes in artificial intelligence

Other editions

Erscheint auch als Online-Ausgabe: Frontiers of combining systems : 6th international symposium ; proceedings

Further information

Literaturangaben

Record ID

985168048
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal