You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (113)

Journals (0)

1-10 of 113 results for Logic in computer science

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Fork Algebras in Algebra,Logic and Computer Science

Retricted access

Research article

First published 1997-10

Fork Algebras in Algebra,Logic and Computer Science

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

Fundamenta Informaticae

Select article: Personal Reflections on the Role of Mathematical Logic in Computer Science

Retricted access

Research article

First published 2019

Personal Reflections on the Role of Mathematical Logic in Computer Science

Assaf Kfoury

Fundamenta Informaticae

Select article: Book Review: Computer Science and Multiple- Valued Logic

Retricted access

Book review

First published 1979-4

Book Review: Computer Science and Multiple- Valued Logic

D. H. Green

International Journal of Electrical Engineering & Education

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

Retricted access

Other

First published 1997-11

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

The European Journal on Artificial Intelligence

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

Retricted access

Research article

First published 2010-3

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

Fundamenta Informaticae

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

Retricted access

Other

First published 1998-11

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

The European Journal on Artificial Intelligence

Select article: Development of a classification system for Mathematical Logic

Retricted access

Research article

First published 2021-4

Development of a classification system for Mathematical Logic

Antonio Sarasa Cabezuelo

Journal of Information Science

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

Retricted access

Other

First published 2000-2

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

The European Journal on Artificial Intelligence

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

Open access

Research article

First published 2019-07

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

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

Retricted access

Research article

First published 2013-12

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

1
2
3
•••
12
10 / page

Article type

Publication date

Subjects

Access