Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Book;
Konferenzbericht
Titel:
Second Verification Workshop, VERIFY'02, July 25 - 26, 2002, Copenhagen, Denmark
:
affiliated with the 18th Conference on Automated Deduction (CADE) at FLoC'02