Posted by **BUGSY** at May 17, 2015

English | June 30, 1995 | ISBN: 0521559618 | 397 Pages | DJVU | 2 MB

This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert.

Posted by **arundhati** at July 17, 2015

2015 | ISBN-10: 1783265086 | 264 pages | True PDF | 5 MB

Posted by **AlenMiler** at June 7, 2015

English | Dec 18, 2014 | ISBN: 1783265086 | 264 Pages | AZW3/EPUB/PDF (conv) | 16.19 MB

This book represents a selection of papers presented at the Inductive Logic Programming (ILP) workshop held at Cumberland Lodge, Great Windsor Park. The collection marks two decades since the first ILP workshop in 1991.

Posted by **ChrisRedfield** at Aug. 6, 2014

Published: 2008-07-11 | ISBN: 3790820636, 3790825611 | PDF | 446 pages | 4 MB

Posted by **interes** at Jan. 16, 2014

English | 1987-01-01 | ISBN: 0898714389 | 400 pages | PDF | 19,6 MB

Linear matrix inequalities (LMIs) have recently emerged as useful tools for solving a number of control problems. This book provides an up-to-date account of the LMI method and covers topics such as recent LMI algorithms, analysis and synthesis issues, nonconvex problems, and applications. It also emphasizes applications of the method to areas other than control.

Posted by **arundhati** at Jan. 2, 2014

2000 | ISBN-10: 0792361490, 9048153891 | 468 pages | Djvu | 4 MB

Posted by **tanas.olesya** at June 19, 2016

English | 13 May 2014 | ISBN: 3319060791 | 211 Pages | PDF | 2 MB

This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics.

Posted by **interes** at Sept. 16, 2014

English | 2014 | ISBN-10: 3319060791 | 220 pages | PDF | 2 MB

This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics.

Posted by **AlenMiler** at Sept. 7, 2014

Birkh�user; 2009 edition | September 29, 2009 | English | ISBN: 0817648607 | 292 pages | PDF | 4 MB

This collection of original articles and surveys addresses the recent advances in linear and nonlinear aspects of the theory of partial differential equations. The key topics include operators as "sums of squares" of real and complex vector fields, nonlinear evolution equations, local solvability, and hyperbolic questions.

Posted by **hill0** at Dec. 8, 2016

English | 22 Dec. 2016 | ISBN: 1493965670 | 304 Pages | PDF | 5.95 MB

This volume reviews and summarizes some of A. I. McLeod's significant contributions to time series analysis. It also contains original contributions to the field and to related areas by participants of the festschrift held in June 2014 and friends of Dr. McLeod.