Computer logic.
概要
作品: | 55 作品在 45 項出版品 45 種語言 |
---|
書目資訊
Program development in computational logic = a decade of research advances in logic-based program development /
by:
(書目-語言資料,印刷品)
Program development in computational logic = a decade of research advances in logic-based program development /
by:
(書目-語言資料,印刷品)
Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
(書目-電子資源)
Reachability problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(書目-電子資源)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(書目-電子資源)
A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(書目-電子資源)
Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday /
by:
(書目-電子資源)
Fields of logic and computation III = essays dedicated to Yuri Gurevich on the the occasion of his 80th birthday /
by:
(書目-電子資源)
Logics and type systems in theory and practice = essays dedicated to Herman Geuvers on the occasion of his 60th birthday /
by:
(書目-電子資源)
Specification and verification of declarative open interaction models = a logic-based approach /
by:
(書目-語言資料,印刷品)
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(書目-電子資源)
The logician and the engineer = how George Boole and Claude Shannon created the information age /
by:
(書目-電子資源)
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(書目-電子資源)
Description logic, theory combination, and all that = essays dedicated to Franz Baader on the occasion of his 60th birthday /
by:
(書目-電子資源)
Thinking programs = logical modeling and reasoning about languages, data, computations, and executions /
by:
(書目-電子資源)
Logic, language, and security = essays dedicated to Andre Scedrov on the occasion of his 65th birthday /
by:
(書目-電子資源)
Fundamentals of logic and computation = with practical automated reasoning and verification /
by:
(書目-電子資源)
更多
較少的
主題