Showing
1 - 2
results of
2
for search '
Windsteiger, Wolfgang
'
Skip to content
Language
English
Русский
123
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Author
Windsteiger, Wolfgang
Showing
1 - 2
results of
2
for search '
Windsteiger, Wolfgang
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings /
by
Kauers, Manuel
Published in
Springer e-books
(2007)
Other Authors:
“
...
Windsteiger
,
Wolfgang
...
”
Call Number:
Loading...
Located:
Loading...
Get full text
Перейти в каталог НБ ТГУ
eBook
2
Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings /
Published in
Springer eBooks
(2013)
Other Authors:
“
...
Windsteiger
,
Wolfgang
...
”
Call Number:
Loading...
Located:
Loading...
Get full text
Перейти в каталог НБ ТГУ
eBook
Search Tools:
Get RSS Feed
Related Subjects
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer Science
Algebra
Computer Communication Networks
Data Mining and Knowledge Discovery
Data mining
Data processing
Database Management
Database management
Document Preparation and Text Processing
Information Storage and Retrieval
Information Systems Applications (incl.Internet)
Information storage and retrieval systems
Information systems
Math Applications in Computer Science
Mathematical Logic and Formal Languages
Mathematics, general
Symbolic and Algebraic Manipulation
Text processing (Computer science
mathematics
Loading...