Handbook of the history of logic / 9 Computational logic / volume editor, Dov M. Gabbay, Jörg H. Siekmann, John Woods
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Dokumenttyp: | Book/Monograph |
| Sprache: | Englisch |
| Veröffentlicht: |
Amsterdam]
Elsevier
2014
|
| Schriftenreihe: | Handbook of the history of logic
9 |
| In: |
Handbook of the history of logic
|
| Volumes / Articles: | Show Volumes / Articles. |
| Schlagworte: | |
| Online-Zugang: | Verlag, Volltext: http://www.sciencedirect.com/science/handbooks/18745857/9 Verlag, lizenzpflichtig: https://www.sciencedirect.com/science/handbooks/18745857/9 Verlag, lizenzpflichtig: https://www.sciencedirect.com/science/book/9780444516244 Verlag, Zentralblatt MATH, Inhaltstext: https://zbmath.org/?q=an:1311.03006 
|
| Verfasserangaben: | ed. by Dov M. Gabbay ... |
MARC
| LEADER | 00000cam a22000002cc4500 | ||
|---|---|---|---|
| 001 | 1504137841 | ||
| 003 | DE-627 | ||
| 005 | 20250427182221.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 150623s2014 xxk|||||o 00| ||eng c | ||
| 020 | |a 9780080930671 |9 978-0-08-093067-1 | ||
| 020 | |a 0080930670 |9 0-08-093067-0 | ||
| 020 | |a 1322477175 |c ebk |9 1-322-47717-5 | ||
| 020 | |a 9781322477176 |c ebk |9 978-1-322-47717-6 | ||
| 020 | |z 0444516247 | ||
| 020 | |z 9780444516244 | ||
| 035 | |a (DE-627)1504137841 | ||
| 035 | |a (DE-576)434137847 | ||
| 035 | |a (DE-599)BSZ434137847 | ||
| 035 | |a (OCoLC)898070506 | ||
| 035 | |a (ZBM)1311.03006 | ||
| 035 | |a (DE-627-1)002831120 | ||
| 035 | |a (ELSEVIER)ocn898070506 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 044 | |c XA-GB | ||
| 050 | 0 | |a QA76.9.L63 | |
| 072 | 7 | |a COM |2 bisacsh | |
| 072 | 7 | |a COM 000000 |2 bisacsh | |
| 072 | 7 | |a COM 000000 |2 bisacsh | |
| 082 | 0 | |a 006.3 | |
| 084 | |a 28 |2 sdnb | ||
| 084 | |a *03-06 |2 msc | ||
| 084 | |a 03-03 |2 msc | ||
| 084 | |a 03-04 |2 msc | ||
| 084 | |a 68-03 |2 msc | ||
| 084 | |a 01A60 |2 msc | ||
| 084 | |a 03B70 |2 msc | ||
| 084 | |a 68P15 |2 msc | ||
| 084 | |a 68Qxx |2 msc | ||
| 084 | |a 00B15 |2 msc | ||
| 245 | 0 | 0 | |a Handbook of the history of logic |n 9 |p Computational logic / volume editor, Dov M. Gabbay, Jörg H. Siekmann, John Woods |c ed. by Dov M. Gabbay ... |
| 264 | 1 | |a Amsterdam] |b Elsevier |c 2014 | |
| 300 | |a Online Ressource (XII, 734 S.) |b graph. Darst. | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 490 | 0 | |a Handbook of the history of logic |v 9 | |
| 500 | |a Print version record | ||
| 533 | |a Online-Ausg. | ||
| 650 | 0 | |a Computer logic | |
| 650 | 4 | |a COMPUTERS ; General | |
| 655 | 0 | |a Electronic books | |
| 655 | 4 | |a Electronic books |x Electronic books | |
| 700 | 1 | |a Gabbay, Dov M. |d 1945- |e Hrsg. |0 (DE-588)124196314 |0 (DE-627)085700134 |0 (DE-576)161042538 |4 edt | |
| 700 | 1 | |a Siekmann, Jörg |e Hrsg. |0 (DE-627)1233072560 |0 (DE-576)163072566 |4 edt | |
| 700 | 1 | |a Woods, John |e Hrsg. |4 edt | |
| 773 | 1 | 8 | |w (DE-627)1345205406 |w (DE-576)275205401 |g 9 |q 9 |7 nnam |a Handbook of the history of logic |
| 776 | 1 | |z 1322477175 |c ebk | |
| 776 | 1 | |z 0444516247 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |t Computational logic. Gabbay, Dov M. Gabbay, Jörg H. Siekmann, John Woods |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/handbooks/18745857/9 |m X:ELSEVIER |x Verlag |3 Volltext |
| 856 | 4 | 0 | |u https://www.sciencedirect.com/science/handbooks/18745857/9 |m X:ELSEVIER |x Verlag |z lizenzpflichtig |
| 856 | 4 | 0 | |u https://www.sciencedirect.com/science/book/9780444516244 |m X:ELSEVIER |x Verlag |z lizenzpflichtig |
| 856 | 4 | 2 | |u https://zbmath.org/?q=an:1311.03006 |m B:ZBM |v 2021-04-12 |x Verlag |y Zentralblatt MATH |3 Inhaltstext |
| 889 | |w (DE-576)434137847 | ||
| 912 | |a BSZ-33-EBS-C1UB | ||
| 912 | |a GBV-33-EBS-MRI | ||
| 912 | |a GBV-33-EBS-ZHB | ||
| 912 | |a GBV-33-Freedom-BL | ||
| 912 | |a ZDB-33-EBS | ||
| 912 | |a ZDB-33-ESD | ||
| 951 | |a MV | ||
| 992 | |a 20160808 | ||
| 999 | |a KXP-PPN1504137841 |e 2936187117 | ||
| BIB | |a Y | ||
| SPR | |a Y | ||
| JSO | |a {"person":[{"role":"edt","display":"Gabbay, Dov M.","roleDisplay":"Hrsg.","given":"Dov M.","family":"Gabbay"},{"role":"edt","display":"Siekmann, Jörg","roleDisplay":"Hrsg.","given":"Jörg","family":"Siekmann"},{"family":"Woods","given":"John","roleDisplay":"Hrsg.","display":"Woods, John","role":"edt"}],"title":[{"title":"Computational logic / volume editor, Dov M. Gabbay, Jörg H. Siekmann, John Woods"}],"origin":[{"publisherPlace":"Amsterdam]","dateIssuedDisp":"2014","publisher":"Elsevier","dateIssuedKey":"2014"}],"id":{"isbn":["9780080930671","0080930670","1322477175","9781322477176","0444516247","9780444516244"],"eki":["1504137841"]},"note":["Print version record"],"type":{"bibl":"book","media":"Online-Ressource"},"physDesc":[{"noteIll":"graph. Darst.","extent":"Online Ressource (XII, 734 S.)"}],"recId":"1504137841","language":["eng"],"relMultPart":[{"id":{"isbn":["9780444515964","0444515968"],"eki":["1345205406"]},"title":[{"title":"Handbook of the history of logic","title_sort":"Handbook of the history of logic"}],"origin":[{"publisher":"Elsevier [u.a.]","dateIssuedDisp":"20XX-","publisherPlace":"Amsterdam ; Heidelberg [u.a.]"}],"ga":1,"name":{"displayForm":["ed. by Dov M. Gabbay ..."]},"person":[{"display":"Gabbay, Dov M.","roleDisplay":"Hrsg.","role":"edt","family":"Gabbay","given":"Dov M."}],"part":{"number":["9"],"number_sort":["9"]},"recId":"1345205406","language":["eng"],"type":{"bibl":"edited-book","media":"Online-Ressource"}}]} | ||
| SRT | |a HANDBOOKOFTHEHISTORY92014 | ||