Skip navigation
GCRIS
Home
Collections
Research Outputs
Researchers
Organizations
Projects
Reports
Awards
Equipments
Explore by
Collections
Research Outputs
Researchers
Organizations
Projects
Help
Sign on to:
My GCRIS Repository
Receive email
updates
Edit Account details
03.04. Department of Computer Engineering
Bibliometrics
Email Alert
Organizations
Information
Publications
OrgUnit's Researchers publications
(Dept/Workgroup Publication)
Show/Hide filters
Author
1
Kumova, Bora İsmail
1
Çine, Ersin
Subject
1
Automated deduction
1
Knowledge representation
Date issued
1
2017
Type
1
Conference Object
Fulltext
1
With Fulltext
Close filters
Refined By:
Date Issued:
[2012 TO 2019]
Subject:
Syllogistic reasoning
Subject:
Automated reasoning
Results 1-1 of 1 (Search time: 0.002 seconds).
Issue Date
Title
Author(s)
1
2017
An extended syllogistic logic for automated reasoning