SwePub
Sök i LIBRIS databas

  Extended search

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

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

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist
  • Beckert, Bernhard (author)

The KeY system 1.0 (Deduction Component)

  • Article/chapterEnglish2007

Publisher, publication year, extent ...

  • Berlin, Heidelberg :Springer Berlin Heidelberg,2007

Numbers

  • 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

Supplementary language notes

  • Language:English

Part of subdatabase

Classification

  • Subject category:ref swepub-contenttype
  • Subject category:kon swepub-publicationtype

Subject headings and genre

Added entries (persons, corporate bodies, meetings, titles ...)

  • Giese, Martin,1970 (author)
  • Hähnle, Reiner,1962Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)reiner (author)
  • Klebanov, Vladimir (author)
  • 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 (author)
  • Schlager, Steffen (author)
  • Schmitt, Peter H. (author)
  • Chalmers tekniska högskolaInstitutionen för data- och informationsteknik, datavetenskap (GU) (creator_code:org_t)

Related titles

  • In: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

Internet link

Find in a library

To the university's database

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

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 Close

Copy and save the link in order to return to this view