| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISOBE600200045039 |
|
|
Autore |
Guidobaldi, Federico |
|
|
Titolo |
La Basilica e l'area archeologica di S.Clemente in Roma : guida grafica ai tre livelli / da un'idea di Leonardo Boyle ; realizzata da Federico Guidobaldi . ; e Paul Lawlor . ; disegni di Valerio Cosentino |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Romae : apud S. Clementem, 1990 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNICASCAG0028749 |
|
|
Autore |
Góngora y Argote, Luis : de |
|
|
Titolo |
Las firmezas de Isabela / Luis de Góngora ; edición, introducción y notas de Robert Jammes |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Titolo uniforme |
Las firmezas de Isabela |
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
305 p., [4] c. di tav. : ill. ; 18 cm |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910146420203321 |
|
|
Titolo |
Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London / / edited by Johan Van Benthem, Dov Gabbay, Benedikt Lowe |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam, : Amsterdam University Press, c2007 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (363 p.) |
|
|
|
|
|
|
Collana |
|
Texts in logic and games ; ; v. 1 |
|
|
|
|
|
|
Altri autori (Persone) |
|
BenthemJohan van <1949-> |
LoweBenedikt |
GabbayDov M. <1945-> |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Game theory |
Logic, Symbolic and mathematical |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
The 7th Augustus de Morgan workshop (ADMW) was held from November 4th to 7th, 2005 under the title Interactive logic : games and social software. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Table of Contents; Preface; Ch. 1: A Compositional Game Semantics for Multi-Agent Logics of Partial Information; Ch. 2: Quantificational Modal Operators and Their Semantics; Ch. 3: A Note on Kuhn's Theor em; Ch. 4: What Kind of Memory is Needed to Win Infinitary Muller Games?; Ch. 5: Logics of Imperfect Information: Why Sets of Assignments?; Ch. 6: Reasoning about Communication Graphs; Ch. 7: Epistemic Foundations for Backward Induction: An Overview; Ch. 8: Multitape Games; Ch. 9 : The Complexity of Schotland Yard; Ch. 10 : Approaches to Independence Friendly Modal Logic; Ch. 11: Team Logic |
DEMO - A Demo of Epistemic Modelling |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
A collection of excellent research papers in logic, mathematics, computer science and game theory |
|
|
|
|
|
|
|
| |