Computer Science Logic 2018 : CSL 2018, September 4-8, 2018, Birmingham, United Kingdom

Bibliographic Details
Corporate Author: CSL Birmingham (Author)
Other Involved Persons: CSL (Editor) ; Ghica, Dan R. (Editor) ; Jung, Achim ; European Association for Computer Science Logic
Format: eBook
Language:English
Published: Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing August, 2018
ISBN:9783959770880
395977088X
Series:Leibniz international proceedings in informatics vol. 119
Physical Description:1 Online-Ressource
DOI:10.4230/LIPIcs.CSL.2018.0
Subjects:
Local Subject Headings:
Related Items:1 Related Items
Further Information:Volltext
http://dx.doi.org/10.4230/LIPIcs.CSL.2018.0
Volltext
kostenfrei
urn:nbn:de:0030-drops-97444
QR Code: Show QR Code
LEADER 03336nam a2200709 4500
001 104370583X
003 DE-627
005 20181220095006.0
007 cr uuu---uuuuu
008 181220s2018 xx |||||o 10| ||eng c
015 |a 18,O10  |2 dnb 
016 7 |a 1166576892  |2 DE-101 
020 |a 9783959770880  |9 978-3-95977-088-0 
024 7 |a urn:nbn:de:0030-drops-97444  |2 urn 
024 7 |a 10.4230/LIPIcs.CSL.2018.0  |2 doi 
035 |a (DE-627)104370583X 
035 |a (DE-599)DNB1166576892 
035 |a (DE-101)1166576892 
040 |a DE-627  |b ger  |c DE-627  |e rda 
041 |a eng 
044 |c XA-DE-SL 
082 0 |a 004.01  |q DE-101  |2 23kdnb 
082 0 |a 004  |q DE-101  |2 23sdnb 
084 |a 54.10  |2 bkl 
084 |a 54.71  |2 bkl 
111 2 |a CSL  |n 27.  |d 2018  |c Birmingham  |j VerfasserIn  |0 (DE-588)1168183855  |0 (DE-627)1031822437  |0 (DE-576)511455887  |4 aut 
245 1 0 |a Computer Science Logic 2018  |b CSL 2018, September 4-8, 2018, Birmingham, United Kingdom  |c edited by Dan R. Ghica, Achim Jung 
264 1 |a Saarbrücken/Wadern, Germany  |b Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing  |c August, 2018 
300 |a 1 Online-Ressource 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a LIPIcs - Leibniz international proceedings in informatics  |v vol. 119 
583 1 |a la  |2 pdager 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4196735-5  |0 (DE-627)105201693  |0 (DE-576)210109750  |a Theoretische Informatik  |2 gnd 
689 0 1 |D s  |0 (DE-588)4036202-4  |0 (DE-627)106243772  |0 (DE-576)209017082  |a Logik  |2 gnd 
689 0 2 |D s  |0 (DE-588)4255672-7  |0 (DE-627)104705485  |0 (DE-576)210549378  |a Computational logic  |2 gnd 
689 0 3 |D s  |0 (DE-588)4195096-3  |0 (DE-627)105214477  |0 (DE-576)210098767  |a Logische Programmierung  |2 gnd 
689 0 4 |D s  |0 (DE-588)4047408-2  |0 (DE-627)106194690  |0 (DE-576)209073462  |a Programmierlogik  |2 gnd 
689 0 |5 (DE-627) 
700 1 |a Ghica, Dan R.  |e herausgeberin  |4 edt 
700 1 |a Jung, Achim  |e herausgeberin  |4 edt 
710 2 |a European Association for Computer Science Logic  |e VeranstalterIn  |0 (DE-588)2156125-4  |0 (DE-627)211515485  |0 (DE-576)195794001  |4 orm 
830 0 |a Leibniz international proceedings in informatics  |v vol. 119  |9 11900  |w (DE-627)665008708  |w (DE-576)348218761  |w (DE-600)2620819-2  |x 1868-8969 
850 |a la 
856 4 0 |u http://nbn-resolving.org/urn:nbn:de:0030-drops-97444  |x Resolving-System  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.4230/LIPIcs.CSL.2018.0 
856 4 0 |u http://d-nb.info/1166576892/34  |x Langzeitarchivierung Nationalbibliothek  |3 Volltext 
856 4 0 |u http://www.dagstuhl.de/dagpub/978-3-95977-088-0  |q application/pdf  |x Verlag  |z kostenfrei  |3 Volltext 
856 7 |u urn:nbn:de:0030-drops-97444  |2 urn 
912 |a GBV_ILN_32 
912 |a SYSFLAG_1 
912 |a GBV_KXP 
912 |a GBV_ILN_70 
936 b k |a 54.10  |j Theoretische Informatik  |0 (DE-627)106418815 
936 b k |a 54.71  |j Logikprogrammierung  |0 (DE-627)106418912 
951 |a BO 
980 |2 32  |1 01  |b 1834203082  |f Online  |d INF 2018  |x 3400  |y k  |z 20-12-18 
980 |2 70  |1 01  |b 1834210593  |d RT 2474(119) als elektronische Ressource im Fernzugriff  |x 0089  |y zf  |z 20-12-18 
982 |2 32  |1 00  |8 00  |a ilmpub 
983 |2 32  |1 00  |8 00  |a SS 2018