>> Google Books

Higher-Order Algebra, Logic, and Term Rewriting / J. Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow

資料種別:
電子ブック
出版情報:
SpringerLink Books Lecture Notes In Computer Science Archive
Springer Berlin Heidelberg, 1994
著者名:
ISBN:
9783540582335 [3540582339]
9783540485797 [3540485791]
書誌ID:
OB00287156
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック Higher-Order Algebra, Logic, and Term Rewriting

Dowek, Gilles, Heering, J., Meinke, Karl, Möller, Bernhard

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
7 図書 Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Dowek, Gilles

Springer
2 図書 Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J

Springer-Verlag
8 図書 Introduction to higher order categorical logic

Lambek, Joachim, Scott, P. J.

Cambridge University Press
3 電子ブック Term rewriting and all that /

Baader, Franz, Nipkow, Tobias
9 電子ブック Conditional Term Rewriting Systems

International Workshop CTRS, Remy, J. L., Rusinowitch, Michael

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
4 図書 Isabelle/HOL : a proof assistant for higher-order logic

Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus

Springer
10 電子ブック Higher Order Logic Theorem Proving and Its Applications

Joyce, Jeffrey J., Seger, Carl-Johan H.

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
5 電子ブック Theorem Proving in Higher Order Logics

Berghofer, Stefan, Kanade, Takeo, Nipkow, Tobias, Urban, Christian, Wenzel, Makarius

Springer eBooks Computer Science, Springer Berlin Heidelberg
11 電子ブック Higher Order Logic Theorem Proving and Its Applications

Alves-Foss, James, Schubert, E. Thomas, Windley, Phillip J.

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
6 図書 Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings

Hanus, Michael, Heering, J, Meinke, K. (Karl), International Conference on Algebraic and Logic Programming, …

Springer-Verlag
12 図書 Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings

Nipkow, Tobias, 1958-, International Conference on Rewriting Techniques and Applications

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12