WFRF:(Munoz A)
Sökning: WFRF:(Munoz A) > Theorem proving in ...
- 47 av 85
- Föregående post
- Nästa post
- Till träfflistan
- TPHOLs 2002(15 :2002 :Hampton) (författare)
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.).
- E-bokKonferensEngelska2002
Förlag, utgivningsår, omfång ...
- Berlin :Springer,cop. 2002
- x, 347 s.ill.
Nummerbeteckningar
- LIBRIS-ID:9466338
- Ogiltigt nummer / annan version:3540440399 (print)
Kompletterande språkuppgifter
- Språk:engelska
Klassifikation
- LCC:QA76.9.A96
- DDC:004/.01/5113 21
- Pu/DRkssb/7
- Pukssb/7
Serie
- Lecture notes in computer science,1611-3349 ;2410
Anmärkningar
- Includes bibliographical references and index
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Carreño, Victor A.,1956- (redaktör/utgivare)
- Muñoz, César,1968- (redaktör/utgivare)
- Tahar, Sofiène,1966- (redaktör/utgivare)
Sammanhörande titlar
- Annan version:Print:Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings20023-540-44039-9
Seriebiuppslag
- Lecture notes in computer science,1611-3349 ;2410
Internetlänk
- http://link.springer.com/openurl.asp?genre=issue&issn=0302-9743&volume=2410Table of Contents / Abstracts
SAB-rubrik
- PuDatorer och databehandling
- PuDatorer och databehandling
Bibliotekens lokala klassifikation, anmärkningar och ämnesord
- SkovEndast tillgänglig för forskare och studenter vid Högskolan i Skövde
Till lärosätets databas
- 47 av 85
- 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
