This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected fr...Lasīt vairāk
(Izdošanas datums: 21-Nov-2012, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642357213)
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the...Lasīt vairāk
Sērija : Progress in Computer Science and Applied Logic
(Izdošanas datums: 01-Nov-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461266457)
The theory of finite automata on finite stings, infinite strings, and trees has had a dis tinguished history. First, automata were introduced to represent idealized switching circuits augmented by unit delays. This was the period of Shannon, McCullo...Lasīt vairāk
(Izdošanas datums: 28-Sep-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461268550)
This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional su...Lasīt vairāk
Sērija : Theoretical Computer Science and General Issues
(Izdošanas datums: 18-Dec-2008, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540926863)
Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. This title presents 31 revised refereed papers that were selected by the...Lasīt vairāk
Sērija : Progress in Computer Science and Applied Logic
(Izdošanas datums: 08-Jun-2001, Hardback, Izdevniecība: Birkhauser Boston Inc, ISBN-13: 9780817642075)
The theory of finite automata on finite stings, infinite strings, and trees has had a dis tinguished history. First, automata were introduced to represent idealized switching circuits augmented by unit delays. This was the period of Shannon, McCullo...Lasīt vairāk
(Izdošanas datums: 17-Jan-1997, Hardback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9780387948935)
This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. While all the traditional sub...Lasīt vairāk
(Izdošanas datums: 28-May-1997, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540630456)
This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS97, held in Yaroslavl, Russia, in July 1997.The volume presents 42 revised refereed papers carefully selected by th...Lasīt vairāk
(Izdošanas datums: 31-Oct-1993, Hardback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540941293)
Šī grāmata vairs netiek publicēta. Jums tiks paziņota lietotas grāmatas cena
This rigorous introduction to classical and nonclassical logic emphasizes deduction as a form of computation. It also presents the logical and mathematical foundations for resolution theorem proving and logic programming....Lasīt vairāk
(Izdošanas datums: 08-Jun-1994, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540581406)
This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science 94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint effo...Lasīt vairāk
(Izdošanas datums: 24-Jun-1992, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540557074)
This volume presents the papers selected for the SymposiumLogic at Tver 92, held at Sokol, near Tver, Russia in July1992. It is the second in a series of international symposiaon logical foundations of computer science held in Russia.The meetin...Lasīt vairāk
Steven Homer, Piergiorgio Odifreddi, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov
Sērija : C.I.M.E. Foundation Subseries
(Izdošanas datums: 17-Jul-1990, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540527343)
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conje...Lasīt vairāk
