Showing
1 - 1
results of
1
for search '
Giesl, Jürgen
'
Skip to content
Language
English
Русский
123
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Author
Giesl, Jürgen
Showing
1 - 1
results of
1
for search '
Giesl, Jürgen
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Term Rewriting and Applications (vol. # 3467) 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
by
Giesl
,
Jürgen
Published in
Springer e-books
(2005)
Call Number:
Loading...
Located:
Loading...
Get full text
eBook
Search Tools:
Get RSS Feed
Related Subjects
Algebra
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer Science
Computer science
Data processing
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Symbolic and Algebraic Manipulation
Loading...