documents
about archive
about project
Andrei Ershov
in Russian
Archive
IFIP
IFIP 68 Congress
Submitted Papers
Abstract
Abstract
"A Decision Procedure Based on the Resolution Method" by B.Kallick.
Original document language: Russian
Images of pages:
1
2
Back
Next document (Abstract)
Previous document (Abstract)
Switch to Russian
|
Search
|
Advanced search
|
Folders
| Themes
Home
Help
in Russian
Webmaster
©
Ershov's Institute of Informatics Systems
, 2000-2016