عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
9783642294495
b434553
Graph Structures for Knowledge Representation and Reasoning
[Book]
Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers /
edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2012
Lecture Notes in Computer Science,
7205
0302-9743 ;
9783642294488
Springer eBooks
Artificial intelligence
Computer science
Computer software
Logic design
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Croitoru, Madalina
Corby, Olivier
Howse, John
Rudolph, Sebastian
Wilson, Nic
SpringerLink (Online service)
20120526133520.0
مطالعه متن کتاب [Book]
Y
