Isabelle/HOL

EISBN：9783540459491

PISBN：9783540433767

出版社：Springer Berlin Heidelberg

出版类型：Graduate/advanced undergraduate textbook

出版时间：2002

作者：Tobias Nipkow,Markus Wenzel,Lawrence C. Paulson

主题词：Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters,Software Engineering

语种：英语

所属数据库：SpringerLink电子图书

丛书题名：Lecture Notes in Computer Science

1浏览量

问图书管理员

馆际互借

查看订购单位

原文链接

Isabelle/HOL

作者：Tobias Nipkow,Lawrence C. Paulson,Markus Wenzel
EISBN：9783540459491
出版社：Springer Berlin Heidelberg
出版时间：2002

Isabelle

作者：Lawrence C. Paulson
EISBN：9783540485865
出版社：Springer Berlin Heidelberg
出版时间：1994

Isabelle

作者：Lawrence C. Paulson
EISBN：9783540485865
出版社：Springer Berlin Heidelberg
出版时间：1994

Hol a pénz?

作者：Lévai,Richárd
EISBN：6610000173112
出版社：RG Stúdió
出版时间：2013-05-05