Computer science logic 8th (26 Ergebnisse)

Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, Nov. 9 (weekend SALE item)* 543 pp., softcover, handstamp to front free endpaper, else textually clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, Nov. 9 (weekend SALE item)* 600 pp., paperback, minor library markings else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. …

Zustand: Fine. *Price HAS BEEN REDUCED by 10% until Monday, Nov. 9 (weekend SALE item)* 378 pp., Paperback, fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. …

Zustand: Wie neu. 2010. 218 S. Alle Bücher & Medienartikel von Book Broker sind stets in gutem & sehr gutem gebrauchsfähigen Zustand. Unser Produktfoto entspricht dem hier angebotenen Artikel, dieser weist folgende Merkmale auf: Original in Folie. Sprache: Englisch Gewicht in Gramm: 340 Taschenbuch, Maße: 15.49 cm x 1.27 cm x 23.62 cm. …

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: New.

1991. 204 Seiten Good condition. Reading pages are very clean and without marks. Minimum traces of storage or use. Otherwise good exemplar. 9783540539193 Sprache: Englisch Gewicht in Gramm: 640 Softcover: 15.5 x 1.2 x 23.5 cm.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The 1999 Annual Conference of the European Association for Computer Science Logic, CSL'99, was held in Madrid, Spain, on September 20-25, 1999. CSL'99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. The conference was organized by the Computer Science Departments (DSIP and DACYA) at Universidad Complutense in M- rid (UCM). The CSL'99 program committee selected 34 of 91 submitted papers for p- sentation at the conference and publication in this proceedings volume. Each submitted paper was refereed by at least two, and in almost all cases, three di erent referees. The second refereeing round, previously required before a - per was accepted for publication in the proceedings, was dropped following a decision taken by the EACSL membership meeting held during CSL'98 (Brno, Czech Republic, August 25, 1998).…

Zustand: New.

Taschenbuch. Zustand: Neu. Computer Science Logic | 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings | Jörg Flum (u. a.) | Taschenbuch | xii | Englisch | 1999 | Springer | EAN 9783540665366 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Netherlands, July 12-14, 2006. These biennial DEON (more properly, EON) workshops are designed to promote international cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. They support research that links the formal-logical study of normative concepts and normative systems with computer science, arti cial intelligence, philosophy, organization theory, and law. Papers for these workshops might address such general themes as the dev- opment of formal systems of deontic logic and related areas of logic, such as logics of action and agency, or the formal analysis of all sorts of normative concepts, such as the notions of rule, role, regulation, authority, power, rights, respon- bility, etc. , or the formal representation of legal knowledge. They might also be more concerned with applications, such as the formal speci cation of systems for the management of bureaucratic processes in public or private administration, or the speci cation of database integrity constraints or computer security protocols, and more. Of particular interest is the interaction between computer systems and their users. (The DEON 2006 website, cs. uu. nl/deon2006/,c- tains links to previous workshops and their papers. This history reveals a vibrant interdisciplinary research program. …

Zustand: New.

Zustand: New.

Taschenbuch. Zustand: Neu. Deontic Logic and Artificial Normative Systems | 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings | Lou Goble (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2006 | Springer | EAN 9783540358428 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.…

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic.The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gödel Colloquium, KGC 2003 in Vienna, Austria, in August 2003.The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various computing aspects.…

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.