Showing
1 – 1
results of
1
Skip to content
OPAC
Universitätsbibliothek
Technische Universität München
Temporarily saved:
0
temporarily saved
(Full)
Help
Contact
Search Tips
Interlibary loan info
Chat
Tools
Search History
Open Interlibary Loan
Recommend a Purchase
Deutsch
Account
Back
Account
Borrowed Items
Requested Items
Fees
Profile
Search History
Log Out
Login
Books & Journals
Papers
All Fields
Person
Subject
Title
Search
Advanced
Author
Heguiabehere, Juan
Search Results - Heguiabehere, Juan
Showing
1 – 1
results of
1
Filter by
Results per page
20
50
100
Sort
Relevance
Newest first
Oldest first
Title A-Z
Email
Export
Print
Save
Save temporarily
Select all entries on the page
Select result number 1
1
HyLoRes: a hybrid logic prover based on direct resolution
by
Areces, Carlos
,
Heguiabehere, Juan
Published 2002
Call Number:
Loading…
Located:
Loading…
Order via interlibrary loan
Book
Loading…
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to BibTeX
Export to RIS
Saved in:
Email
Export
Print
Save
Save temporarily
Select all entries on the page
Search Tools:
RSS Feed
Email Search
Save Search
Back
Filter by
Page will reload when a filter is selected or excluded.
Library Holdings TUM
Library Holdings TUM, LMU, HM, BSB, HSWT
Online Resources
Physical Resources
Format
Book
1 results
1
Exclude matching results
Discipline
Philosophie
1 results
1
Exclude matching results
Subject
Mathematische Logik
1 results
1
Exclude matching results
Year of Publication
From:
To:
Language
English
1 results
1
Exclude matching results
Person
Areces, Carlos
1 results
1
Exclude matching results
Heguiabehere, Juan
1 results
1
Exclude matching results
