|
|
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Automated reasoning with analytic tableaux and related methods [Electronic resource]
: 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6793
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-22119-4: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Artificial intelligence
Computer science
Artificial intelligence (incl. robotics)
Mathematical logic and formal languages
Programming techniques
Software engineering
Logics and meanings of programs
См. : Текст издания
Доп.точки доступа:
Brünnler, K. \ed.\; SpringerLink (Online service)
|
|