|
|
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Tools for teaching logic [Electronic resource]
: third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6680
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-21350-2: Б.ц.
Предметные рубрики: Computer science
Artificial intelligence
Education
Logic, symbolic and mathematical
Science-- Study and teaching
Computer science
Artificial intelligence (incl. robotics)
Mathematical logic and formal languages
Computers and education
Mathematical logic and foundations
Science education
См. : Текст издания
Доп.точки доступа:
Blackburn, P. \ed.\; SpringerLink (Online service)
|
|