Show simple item record

dc.contributor.editor
Basin, David
dc.contributor.editor
Rusinowitch, Michaël
dc.date.accessioned
2017-06-10T03:04:18Z
dc.date.available
2017-06-10T03:04:18Z
dc.date.issued
2004
dc.identifier.isbn
3-540-22345-2
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/b98691
dc.identifier.uri
http://hdl.handle.net/20.500.11850/52558
dc.language.iso
en
dc.publisher
Springer
dc.title
Automated Reasoning
dc.type
Conference Proceedings
ethz.title.subtitle
Second International Joint Conference
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
3097
ethz.journal.abbreviated
LNCS
ethz.size
491 p.
ethz.event
Automated Reasoning: Second International Joint Conference (IJCAR 2004)
ethz.event.location
Cork, Ireland
ethz.event.date
July 4-8, 2004
ethz.notes
.
ethz.identifier.nebis
004759679
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-10T03:06:14Z
ethz.source
ECIT
ethz.identifier.importid
imp59364f8035a7535758
ethz.ecitpid
pub:85377
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-18T07:30:30Z
ethz.rosetta.lastUpdated
2018-10-01T17:43:36Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Automated%20Reasoning&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2004&rft.volume=3097&rft.issn=0302-9743&1611-3349&rft.isbn=3-540-22345-2&rft.genre=conference&rft_id=info:doi/3-540-22345-2&
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record