Skip to Content
Toggle navigation
Digital Collections
Switch language
English
Switch language
Deutsch
English
Español
Français
Italiano
Português do Brasil
中文
Admin
Home
About
Help
Contact
Go
Search Constraints
Start Over
Filtering by:
Keyword
constructive mathematics
Remove constraint Keyword: constructive mathematics
1
entry found
Sort by relevance
relevance
date uploaded ▼
date uploaded ▲
Number of results to display per page
10 per page
10
per page
20
per page
50
per page
100
per page
View results as:
List
Gallery
Masonry
Slideshow
Search Results
Constructive negation in logic programs
Creator:
Clifford Walinsky
Date:
1987
Document Type:
dissertation
Toggle facets
Limit your search
Keyword
constructive mathematics
[remove]
1
incompleteness theorems
1
logic programming
1
Date
1987
1
Department
Dept. of Computer Science and Engineering
1
Resource type
dissertation
1
Creator
Clifford Walinsky
1
Degree
Ph.D.
1
Collection
Scholars Archive
1