| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910715592903321 |
|
|
Titolo |
Message from the President of the United States, transmitting, pursuant to a resolution of the House of Representatives of the 21st December, 1819, a report of the Secretary of War of the expenditures on fortifications from the year 1816 to the year 1819, both inclusive ; the places at which works of defence have been begun ; their contemplated magnitude and present condition ; and the estimated sum for the completion of each ; also, the mode by which they are built -- whether by contract, or otherwise. January 20, 1820. Read, and ordered to lie upon the table |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Washington, D.C.] : , : [publisher not identified], , 1820 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (15 pages) : tables |
|
|
|
|
|
|
Collana |
|
House document / 16th Congress, 1st session. House ; ; no. 51 |
[United States congressional serial set ] ; ; [serial no. 33] |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
Armed Forces - Appropriations and expenditures |
Defense contracts |
Revenue |
Factory and trade waste |
Fortification |
Military bases |
Construction, Military |
Construction industry - Military aspects |
Financial statements |
Legislative materials. |
United States Armed Forces Appropriations and expenditures |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Batch processed record: Metadata reviewed, not verified. Some fields updated by batch processes. |
FDLP item number not assigned. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISANNIOAQ10008347 |
|
|
Autore |
Kloks, Ton |
|
|
Titolo |
Treewidth : computations and approximations / Ton Kloks |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin [etc.], : Springer-Verlag, c1994 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science / edited by G. Goos and J. Hartmanis ; 842 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliografia: P. [193]-206. |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910485002003321 |
|
|
Titolo |
Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings / / edited by Nicola Olivetti |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 250 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 4548 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Machine theory |
Computer programming |
Software engineering |
Artificial Intelligence |
Formal Languages and Automata Theory |
Programming Techniques |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- Nonmonotonic Description Logics – Requirements, Theory, and Implementations -- Our Quest for the Holy Grail of Agent Verification -- An Abstract Framework for Satisfiability Modulo Theories -- Research Papers -- Axiom Pinpointing in General Tableaux -- Proof Theory for First Order ?ukasiewicz Logic -- A Tableau Method for Public Announcement Logics -- Bounded Model Checking with Description Logic Reasoning -- Tableau Systems for Logics of Subinterval Structures over Dense Orderings -- A Cut-Free Sequent Calculus for Bi-intuitionistic Logic -- Tableaux with Dynamic Filtration for Layered Modal Logics -- The Neighbourhood of S0.9 and S1 -- EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies -- Tree-Sequent Methods for Subintuitionistic Predicate Logics -- A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation -- Updating |
|
|
|
|
|
|
|
|
|
|
|
Reduced Implicate Tries -- A Bottom-Up Approach to Clausal Tableaux -- Differential Dynamic Logic for Verifying Parametric Hybrid Systems -- System Descriptions -- Improvements to the Tableau Prover PITP -- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France. It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics. |
|
|
|
|
|
|
|
| |