Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings
Petr Hájek (auth.), Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)
This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Computer Science Logic, CSL '98, held as the Annual Conference of the European Association on Computer Science Logic in Brno, Czech Republic in August 1998.
The 25 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and revision. Also included are three reviewed invited papers. The papers span the whole scope of computer science logic and mathematical foundations and represent the state of the art in the area.
The 25 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and revision. Also included are three reviewed invited papers. The papers span the whole scope of computer science logic and mathematical foundations and represent the state of the art in the area.
श्रेणियाँ:
साल:
1999
संस्करण:
1
प्रकाशन:
Springer-Verlag Berlin Heidelberg
भाषा:
english
पृष्ठ:
442
ISBN 10:
3540659226
ISBN 13:
9783540659228
श्रृंखला:
Lecture Notes in Computer Science 1584
फ़ाइल:
PDF, 3.88 MB
IPFS:
,
english, 1999
कॉपीराइट धारक की शिकायत के कारण यह पुस्तक डाउनलोड के लिए उपलब्ध नहीं है
Beware of he who would deny you access to information, for in his heart he dreams himself your master
फ़ाइल कन्वर्टर
अधिक खोज परिणाम
अधिक लाभ 
