WFRF:(Tahar Sofiène 1966 )
Sökning: WFRF:(Tahar Sofiène 1966 ) > Theorem proving in ...
- 2 av 2
- Föregående post
- Nästa post
- Till träfflistan
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- (redaktör/utgivare)
- Muñoz, César, 1968- (redaktör/utgivare)
- Tahar, Sofiène, 1966- (redaktör/utgivare)
- Berlin : Springer, cop. 2002
- Engelska x, 347 s.
- Serie: Lecture notes in computer science, 1611-3349 ; 2410
- swepub:Mat__t
Ämnesord
Stäng
Ämnesord
- Automatic theorem proving -- Congresses (LCSH)
Nyckelord
- Pu Datorer och databehandling
- Pu Datorer och databehandling
Publikations- och innehållstyp
- QA76.9.A96 (LCC)
- 004/.01/5113 (DDC)
- Pu/DR (kssb/7)
- Pu (kssb/7)
Till lärosätets databas
- 2 av 2
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Carreño, Victor ...
- Muñoz, César, 19 ...
- Tahar, Sofiène, ...
- Av lärosätet
- Swepub_uni:_t
Sök utanför SwePub
- Sök vidare i:
- 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 - Nationella bibliotekssystem
- LIBRIS.kb.se
