Y. Gurevich: The Logic in Computer Science Column Generalized Quantifiers

被引：0

|

作者：

Vaeaenaenen, J.

机构：

来源：

Bulletin of the European Association for Theoretical Computer Science | / 62期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[41] Proceedings - Symposium on Logic in Computer Science: Foreword
Jouannaud, Jean-Pierre
Proceedings - Symposium on Logic in Computer Science, 2010,
[42] Mathematical Logic and Deduction in Computer Science Education
Habiballa, Hashim
Kmet, Tibor
INFORMATICS IN EDUCATION, 2008, 7 (01): : 75 - 90
[43] The impact of the lambda calculus in logic and computer science
Barendregt, H
BULLETIN OF SYMBOLIC LOGIC, 1997, 3 (02) : 181 - 215
[44] A COMPUTER APPLICATION OF CHEN,MATTHEW,Y. 'FROM MIDDLE CHINESE TO MODERN PEKING'
LAPOLLA, RJ
JOURNAL OF CHINESE LINGUISTICS, 1988, 16 (02) : 339 - 344
[45] Science-technology coupling: The case of mathematical logic and computer science
WagnerDobler, R
JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1997, 48 (02): : 171 - 183
[46] Prof Y. T. Thathachari Research Award for science - 2001: A report
Prasad, JS
Sridhar, MA
CURRENT SCIENCE, 2001, 81 (10): : 1287 - 1288
[47] Profile of Alexander Y. Rudensky, winner of the 2018 Vilcek Prize in Biomedical Science
Nair, Prashant
Vilcek, Jan
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 2018, 115 (17) : 4301 - 4304
[48] Theoretical computer science - Logic, semantics and theory of programming
Cerone, A
Di Pierro, A
THEORETICAL COMPUTER SCIENCE, 2005, 346 (01) : 1 - 2
[49] Keeping logic in the trivium of computer science: a teaching perspective
J. A. Makowsky
A. Zamansky
Formal Methods in System Design, 2017, 51 : 419 - 430
[50] PARTIAL-PREDICATE LOGIC IN COMPUTER-SCIENCE
HOOGEWIJS, A
ACTA INFORMATICA, 1987, 24 (04) : 381 - 393

← 1 2 3 4 5 →