|
|
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Algebraic informatics [Electronic resource]
: 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011: proceedings
Выходные данные : Berlin ; Heidelberg: Springer, 2011
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6742
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-21493-6: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Computational complexity
Algebra-- Data processing
Computer science
Logics and meanings of programs
Mathematical logic and formal languages
Symbolic and algebraic manipulation
Software engineering
Discrete mathematics in computer science
Mathematics of computing
См. : Текст издания
Доп.точки доступа:
Winkler, F. \ed.\; SpringerLink (Online service)
|
|