SwePub
Sök i LIBRIS databas

  Utökad sökning

onr:"swepub:oai:gup.ub.gu.se/49612"
 

Sökning: onr:"swepub:oai:gup.ub.gu.se/49612" > The KeY system 1.0 ...

  • Beckert, Bernhard (författare)

The KeY system 1.0 (Deduction Component)

  • Artikel/kapitelEngelska2007

Förlag, utgivningsår, omfång ...

  • Berlin, Heidelberg :Springer Berlin Heidelberg,2007

Nummerbeteckningar

  • LIBRIS-ID:oai:gup.ub.gu.se/49612
  • ISBN:9783540735946
  • https://gup.ub.gu.se/publication/49612URI
  • https://doi.org/10.1007/978-3-540-73595-3_26DOI
  • https://research.chalmers.se/publication/49612URI

Kompletterande språkuppgifter

  • Språk:engelska

Ingår i deldatabas

Klassifikation

  • Ämneskategori:ref swepub-contenttype
  • Ämneskategori:kon swepub-publicationtype

Ämnesord och genrebeteckningar

Biuppslag (personer, institutioner, konferenser, titlar ...)

  • Giese, Martin,1970 (författare)
  • Hähnle, Reiner,1962Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)reiner (författare)
  • Klebanov, Vladimir (författare)
  • Rümmer, Philipp,1978Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik, datavetenskap (GU),Department of Computer Science and Engineering, Computing Science (GU),University of Gothenburg(Swepub:cth)xrumph (författare)
  • Schlager, Steffen (författare)
  • Schmitt, Peter H. (författare)
  • Chalmers tekniska högskolaInstitutionen för data- och informationsteknik, datavetenskap (GU) (creator_code:org_t)

Sammanhörande titlar

  • Ingår i:Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, Springer-Verlag, LNCSBerlin, Heidelberg : Springer Berlin Heidelberg4603, s. 379-3849783540735946

Internetlänk

Hitta via bibliotek

Till lärosätets databas

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.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy