WFRF:(Munoz A)
Search: WFRF:(Munoz A) > Theorem proving in ...
- 47 of 85
- Previous record
- Next record
- To hitlist
Theorem proving in higher order logics. : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings / Victor A. Carreño, César Muñoz, Sofiène Tahar (eds.).
- Carreño, Victor A., 1956- (editor)
- Muñoz, César, 1968- (editor)
- Tahar, Sofiène, 1966- (editor)
- Berlin : Springer, cop. 2002
- English x, 347 s.
- Series: Lecture notes in computer science, 1611-3349 ; 2410
- swepub:Mat__t
Subject headings
Close
Subject headings
- Automatic theorem proving -- Congresses (LCSH)
Keyword
- Pu Datorer och databehandling
- Pu Datorer och databehandling
Publication and Content Type
- QA76.9.A96 (LCC)
- 004/.01/5113 (DDC)
- Pu/DR (kssb/7)
- Pu (kssb/7)
To the university's database
- 47 of 85
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Carreño, Victor ...
- Muñoz, César, 19 ...
- Tahar, Sofiène, ...
- By the university
- Swepub_uni:_t
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
