Deduktion: von der Theorie zur Anwendung
- Vollständige Referenz
- BibTeX
Baader, F., Beckert, B. & Nipkow, T.,
(2010).
Deduktion: von der Theorie zur Anwendung.
Informatik-Spektrum: Vol. 33, No. 5.
Berlin Heidelberg:
Springer-Verlag.
(S. 444-451).
DOI: 10.1007/s00287-010-0461-3
@article{mci/Baader2010,
author = {Baader, Franz AND Beckert, Bernhard AND Nipkow, Tobias},
title = {Deduktion: von der Theorie zur Anwendung},
journal = {Informatik-Spektrum},
volume = {33},
number = {5},
year = {2010},
,
pages = { 444-451 } ,
doi = { 10.1007/s00287-010-0461-3 }
}
author = {Baader, Franz AND Beckert, Bernhard AND Nipkow, Tobias},
title = {Deduktion: von der Theorie zur Anwendung},
journal = {Informatik-Spektrum},
volume = {33},
number = {5},
year = {2010},
,
pages = { 444-451 } ,
doi = { 10.1007/s00287-010-0461-3 }
}
Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.1007/s00287-010-0461-3
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken
Mehr Information
ISSN: 1432-122X
Datum: 2010
Typ: Text/Journal Article