Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, Se…
2012 Kartoniert, 208 Seiten, 235mm x 155mm x 12mm, Sprache(n): eng Fast track conference proceedingsUnique visibilityState of the art reseachThis book constitutes the refereed proceedings of the Second International Workshop on Datalog 2.0, held in Vienna, Austria, in September 2012. The 14 rev…
Knowledge, Proof and Dynamics - The Fourth Asian Workshop on Philosophical Logic
2020 Gebunden, 228 Seiten, 241mm x 160mm x 18mm, Sprache(n): eng Includes a collection of papers presented at the AWPL, reflecting the latest logic researchDiscusses active areas of interest in the fields of logicCovers both model semantical and proof theoretical approaches to dealing with logic…
Knowledge, Proof and Dynamics - The Fourth Asian Workshop on Philosophical Logic
2021 Kartoniert, 228 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng Includes a collection of papers presented at the AWPL, reflecting the latest logic researchDiscusses active areas of interest in the fields of logicCovers both model semantical and proof theoretical approaches to dealing with log…
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain,…
2013 Kartoniert, 340 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng Conference proceedings of the International Conference on Software Engineering and Formal Methods, SEFM 2013This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Met…
Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil,…
2012 Kartoniert, 240 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng Up to date resultsFast track conference proceedingsState of the art researchThis book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co…
Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Braz…
2013 Kartoniert, 256 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were…
Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Meth…
2012 Kartoniert, 528 Seiten, 235mm x 155mm x 29mm, Sprache(n): eng Fast-track conference proceedingsState-of-the-art researchUp-to-date resultsThis book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, Nove…
Logic and Its Applications - 5th International Conference, ICLA 2013, Chennai, India, January 10-1…
2013 Kartoniert, 272 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng Up to date resultsState of the art researchFast track conference proceedingsEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian…
Philosophy and Psychology of Time
2016 Kartoniert, 280 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng Integrates philosophical and psychological research on time Presents accessible overviews of the common ground on a given topic Provides original contributions to current debates concerning timeThis book is an edited collection…
Context, Conflict and Reasoning - Proceedings of the Fifth Asian Workshop on Philosophical Logic
2021 Kartoniert, 176 Seiten, 235mm x 155mm x 10mm, Sprache(n): eng Highlights a range of new developments in philosophical logic by Asian logiciansPresents a collection of interdisciplinary research on the topic of philosophical logicGiven the variety of topics and issues discussed, it will appe…
- Volltext
- Temporallogic
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!