語系
Nipkow, Tobias.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Rewriting techniques and applications = 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998 : proceedings /
by:
Nipkow, Tobias.; SpringerLink (Online service); International Conference on Rewriting Techniques and Applications (1998 :)
(書目-語言資料,印刷品)
Isabelle/HOL = a proof assistant for higher-order logic /
by:
SpringerLink (Online service); Nipkow, Tobias.; Paulson, Lawrence C.; Wenzel, Markus.
(書目-語言資料,印刷品)
Automated reasoning = First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings /
by:
Gore, Rajeev.; Leitsch, Alexander.; Nipkow, Tobias.; SpringerLink (Online service); IJCAR 2001 ((2001 :)
(書目-語言資料,印刷品)
Concrete semantics = with Isabelle/HOL /
by:
Nipkow, Tobias.; SpringerLink (Online service); Klein, Gerwin.
(書目-電子資源)
主題
Rewriting systems (Computer science)
Computer logic.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms
Automatic theorem proving
Computer programming
Logic design.
Programming Languages, Compilers, Interpreters.
Computer logic- Congresses.
Automatic theorem proving.
Computer science.