Logic, Symbolic and mathematical - Congresses.
概要
作品: | 28 作品在 19 項出版品 19 種語言 |
---|
書目資訊
Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Frontiers of Combining Systems : = 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Formal Concept Analysis = Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Grammatical inference = algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Automated Deduction - CADE-20 = 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Towards mathematical philosophy : = papers from the studia logica conference trends in logic IV /
by:
(書目-語言資料,印刷品)
Logic Colloquium '69 = Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969 /
by:
(書目-語言資料,印刷品)
Logic Colloquium '77 = proceedings of the colloquium held in Wrocław, August 1977 /
by:
(書目-語言資料,印刷品)
Logic Colloquium '84 = proceedings of the colloquium held in Manchester, U.K., July 1984 /
by:
(書目-語言資料,印刷品)
Logic Colloquium '85 = proceedings of the colloquium held in Orsay, France, July 1985 /
by:
(書目-語言資料,印刷品)
Logic Colloquium '88 = proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
by:
(書目-語言資料,印刷品)
Mathematical logic in Latin America = proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
by:
(書目-語言資料,印刷品)
Patras Logic Symposion = proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
by:
(書目-語言資料,印刷品)
Proceedings of the Herbrand symposium = Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
by:
(書目-語言資料,印刷品)
更多
較少的
主題