Showing
1 - 1
results of
1
for search '
"CADE ATP System Competition"
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search Results - "CADE ATP System Competition"
Showing
1 - 1
results of
1
for search '
"CADE ATP System Competition"
'
, query time: 0.06s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings /
Published 2004
Table of Contents:
“… Modulo -- Lambda Logic -- Formalizing Undefinedness Arising in Calculus -- Competition -- The
CADE
ATP
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Institution
HEAL-Link
1
Format
Electronic
1
eBook
1
Call Number
000 - Computer science, information, general works
1
Author
Basin, David
1
Rusinowitch, Michaël
1
SpringerLink (Online service)
1
Language
English
1
Year of Publication
From:
To:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών