Search results: Sage Journals

Restricted accessResearch articleFirst published October, 1997

Fork Algebras in Algebra,Logic and Computer Science

Marcelo F. Frias, Gabriel A. Baum, Armando M. Haeberer

Fundamenta Informaticae

Restricted accessResearch articleFirst published 2019

Personal Reflections on the Role of Mathematical Logic in Computer Science

Assaf Kfoury

Fundamenta Informaticae

Restricted accessBook reviewFirst published April, 1979

Book Review: Computer Science and Multiple- Valued Logic

D. H. Green

International Journal of Electrical Engineering & Education

Restricted accessResearch articleFirst published March, 2010

Bridging Logic and Computer Science: to Johann A. Makowsky for his 60th birthday

Fundamenta Informaticae

Restricted accessOtherFirst published November, 1997

Annual Conference of the European Association for Computer Science Logic (CSL ’98)

The European Journal on Artificial Intelligence

Restricted accessOtherFirst published November, 1998

Annual Conference of the European Association for Computer Science Logic (CSL ’99)

The European Journal on Artificial Intelligence

Restricted accessOtherFirst published February, 2000

14th Annual Conference of the European Association for Computer Science Logic (CSL 2000)

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published April, 2021

Development of a classification system for Mathematical Logic

Antonio Sarasa Cabezuelo

Journal of Information Science

Open accessResearch articleFirst published July, 2019

Eric Davidson's Regulatory Genome for Computer Science: Causality,Logic,and Proof Principles of the Genomic cis -Regulatory Code

Sorin Istrail

Journal of Computational Biology

Restricted accessResearch articleFirst published December, 2013

Paper-and-Pencil Programming Strategy toward Computational Thinking for Non-Majors: Design Your Solution

Byeongsu Kim, Taehun Kim, Jonghoon Kim

Journal of Educational Computing Research

Restricted accessResearch articleFirst published October, 1997

Fork Algebras in Algebra,Logic and Computer Science

Marcelo F. Frias, Gabriel A. Baum, Armando M. Haeberer

Fundamenta Informaticae

Restricted accessResearch articleFirst published 2019

Personal Reflections on the Role of Mathematical Logic in Computer Science

Assaf Kfoury

Fundamenta Informaticae

Restricted accessBook reviewFirst published April, 1979

Book Review: Computer Science and Multiple- Valued Logic

D. H. Green

International Journal of Electrical Engineering & Education

Restricted accessResearch articleFirst published March, 2010

Bridging Logic and Computer Science: to Johann A. Makowsky for his 60th birthday

Fundamenta Informaticae

Restricted accessOtherFirst published November, 1997

Annual Conference of the European Association for Computer Science Logic (CSL ’98)

The European Journal on Artificial Intelligence

Restricted accessOtherFirst published November, 1998

Annual Conference of the European Association for Computer Science Logic (CSL ’99)

The European Journal on Artificial Intelligence

Restricted accessOtherFirst published February, 2000

14th Annual Conference of the European Association for Computer Science Logic (CSL 2000)

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published April, 2021

Development of a classification system for Mathematical Logic

Antonio Sarasa Cabezuelo

Journal of Information Science

Open accessResearch articleFirst published July, 2019

Eric Davidson's Regulatory Genome for Computer Science: Causality,Logic,and Proof Principles of the Genomic cis -Regulatory Code

Sorin Istrail

Journal of Computational Biology

Restricted accessResearch articleFirst published December, 2013

Paper-and-Pencil Programming Strategy toward Computational Thinking for Non-Majors: Design Your Solution

Byeongsu Kim, Taehun Kim, Jonghoon Kim

Journal of Educational Computing Research