عنوان
پدید آورنده
موضوع
رده
QA9.A1 F76 2011
QA9
.
A1
F76
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642243630
(Number (ISBN
3642243649
(Number (ISBN
9783642243639
(Number (ISBN
9783642243646
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434252
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Frontiers of combining systems :
General Material Designation
[Book]
Other Title Information
8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 : proceedings /
First Statement of Responsibility
Cesare Tinelli, Viorica Sofronie-Stokkermans (editions.)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (viii, 274 pages) :
Other Physical Details
illustrations (some color)
SERIES
Series Title
Lecture notes in computer science. Lecture notes in artificial intelligence,
Volume Designation
6989
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of Combining Systems, FroCoS 2011, held in Saarbrücken, Germany, in October 2011. The 15 revised full papers presented together with three invited papers were carefully reviewed and selected from 22 submissions. The event builds a common forum for research activities in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use
TOPICAL NAME USED AS SUBJECT
Computer science, Congresses
Logic, Symbolic and mathematical, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1/31
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
A1
Book number
F76
2011
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Sofronie-Stokkermans, Viorica
Tinelli, C., (Cesare)
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
FroCoS (Symposium)(8th :2011 :, Saarbrücken, Germany)
ORIGINATING SOURCE
Date of Transaction
20170726082140.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
