Computer logic
概要
| 作品: | 27 作品在 25 項出版品 25 種語言 | |
|---|---|---|
書目資訊
Program development in computational logic: a decade of research advances in logic-based progam development
by:
(書目-語言資料,印刷品)
Foundations of information and knowledge systems[electronic resource] :7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Reversible computation[electronic resource] :third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(書目-語言資料,印刷品)
Deontic logic and normative systems[electronic resource] :12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Logical aspects of computational linguistics[electronic resource] :8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Reversible computation[electronic resource] :6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Pristine perspectives on logic, language, and computation[electronic resource] :ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
by:
(書目-語言資料,印刷品)
Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Fields of logic and computation II[electronic resource] :essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
by:
(書目-語言資料,印刷品)
主題