Set Theory for Computing - Monographs in Computer Science
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer New York

9781441929051, 9781475734522
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sets for Problem Solving

2001 ◽  
pp. 112-147
Author(s):  
Domenico Cantone ◽  
Eugenio Omodeo ◽  
Alberto Policriti
Keyword(s):  
Problem Solving

Logical Background

2001 ◽  
pp. 14-58
Author(s):  
Domenico Cantone ◽  
Eugenio Omodeo ◽  
Alberto Policriti

Syllogistic Tableaux

2001 ◽  
pp. 350-373
Author(s):  
Domenico Cantone ◽  
Eugenio Omodeo ◽  
Alberto Policriti

(*) A Syllogistic Solitaire

2001 ◽  
pp. 265-283
Author(s):  
Domenico Cantone ◽  
Eugenio Omodeo ◽  
Alberto Policriti

Inference Techniques and Methods

2001 ◽  
pp. 196-244
Author(s):  
Domenico Cantone ◽  
Eugenio Omodeo ◽  
Alberto Policriti
Keyword(s):  
Inference Techniques

Semantic Views of Aggregates

2001 ◽  
pp. 87-111
Author(s):  
Domenico Cantone ◽  
Eugenio Omodeo ◽  
Alberto Policriti

Logic Programming with Sets

2001 ◽  
pp. 340-349
Author(s):  
Domenico Cantone ◽  
Eugenio Omodeo ◽  
Alberto Policriti
Keyword(s):  
Logic Programming

Set Theory for Nonclassic Logics

2001 ◽  
pp. 318-339
Author(s):  
Domenico Cantone ◽  
Eugenio Omodeo ◽  
Alberto Policriti
Keyword(s):  
Set Theory

Quantitative Set Reasoning

2001 ◽  
pp. 307-317
Author(s):  
Domenico Cantone ◽  
Eugenio Omodeo ◽  
Alberto Policriti

Stratified Syllogistics

2001 ◽  
pp. 284-303
Author(s):  
Domenico Cantone ◽  
Eugenio Omodeo ◽  
Alberto Policriti
Load More ...
Sign in / Sign up

Export Citation Format

Share Document