top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Theories of computational complexity / Christian Calude
Theories of computational complexity / Christian Calude
Creatore [Calude, Cristian, 1952-]
Estensione 1 online resource (xiii, 487 pages).
Disciplina 511
Genere/Forma Electronic books
ISBN 9780444703569
044470356X
9780080867755
0080867758
Classificazione 54.50
54.10
31.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-005744011
[Calude, Cristian, 1952-]  
Materiale a stampa
Lo trovi qui: New York University
Domains and lambda-calculi [electronic resource] / Roberto M. Amadio, Pierre-Louis Curien
Domains and lambda-calculi [electronic resource] / Roberto M. Amadio, Pierre-Louis Curien
Creatore [Amadio, Roberto M.]
Estensione 1 online resource.
Disciplina 511.3
Accesso persona Curien, P.-L. (Pierre-Louis)
Accesso ente Cambridge University Press
ISBN 0511983506 (electronic bk.)
9780511983504 (electronic bk.)
0521622778 (hardback)
Classificazione 31.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-003985382
[Amadio, Roberto M.]  
Materiale a stampa
Lo trovi qui: New York University
Many-valued logics [by] J. Barkley Rosser [and] Atwell R. Turquette
Many-valued logics [by] J. Barkley Rosser [and] Atwell R. Turquette
Creatore [Rosser, J. Barkley (John Barkley), 1907-1989]
Estensione 1 online resource (124 pages).
Disciplina 164
Accesso persona Turquette, Atwell R. (Atwell Rufus), 1914-author
Genere/Forma Electronic books
ISBN 9780080957272
0080957277
Classificazione 31.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Truth tables -- Axiomatization of many-valued statement calculi -- Foundations of the theory of quantification for many-valued logics -- Axiomatization of many-valued predicate calculi -- Quantification for particular predicate calculi -- Some unsolved problems.
Record Nr. NYU-005322860
[Rosser, J. Barkley (John Barkley), 1907-1989]  
Materiale a stampa
Lo trovi qui: New York University
Finite model theory and its applications / Erich Grädel [and others]
Finite model theory and its applications / Erich Grädel [and others]
Estensione 1 online resource (xi, 437 pages) : illustrations.
Disciplina 511.3/4
Accesso persona Grädel, Erich, 1958-
Genere/Forma Electronic books
ISBN 9783540688044
3540688048
9783540004288
3540004289
Classificazione 54.10
31.10
O141. 4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Unifying Themes in Finite Model Theory -- On the Expressive Power of Logics on Finite Models -- Finite Model Theory and Descriptive Complexity -- Logic and Random Structures -- Embedded Finite Models and Constraint Databases -- A Logical Approach to Constraint Satisfaction -- Local Variations on a Loose Theme: Modal Logic and Decidability.
Record Nr. NYU-004341398
Materiale a stampa
Lo trovi qui: New York University
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia / edited by J.N. Crossley
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia / edited by J.N. Crossley
Estensione 1 online resource (viii, 307 pages).
Disciplina 511.3
Accesso persona Crossley, John N.
Accesso ente Australian Mathematical Society
Genere/Forma Electronic books
Conference papers and proceedings
Clayton (1974)
Clayton (Victoria, 1974)
ISBN 9783540374800
3540374809
0387071520
9780387071527
3540071520
9783540071525
Classificazione 31.10
CC 2600
SI 850
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Reminiscences of logicians -- Frames and models in modal logic -- A language and axioms for explicit mathematics -- Dimension theory of commutative polynomial rings -- Dimension theory of power series rings over a commutative ring -- Axiomatic classes in propositional modal logic -- Nilpotent actions on nilpotent groups -- Structure theorems for inverse semigroups -- Recursion theory and algebra -- An exposition of forcing -- Logic and foundations -- Church-Rosser theorems for replacement systems.
Record Nr. NYU-004350434
Materiale a stampa
Lo trovi qui: New York University
An introduction to fuzzy logic and fuzzy sets / James J. Buckley, Esfandiar Eslami
An introduction to fuzzy logic and fuzzy sets / James J. Buckley, Esfandiar Eslami
Creatore [Buckley, James J., 1936-]
Estensione 1 online resource (x, 284 pages) : illustrations.
Disciplina 006.3
Accesso persona Eslami, Esfandiar, 1954-
Genere/Forma Electronic books
ISBN 9783790817997
3790817996
3790814474
9783790814477
Classificazione 31.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Logic -- Fuzzy sets -- Fuzzy numbers -- Fuzzy equations -- Fuzzy inequalities -- Fuzzy relations -- Fuzzy functions -- Fuzzy plane geometry -- Fuzzy trigonometry -- Systems of fuzzy linear equations -- Possibility theory -- Neural nets -- Approximate reasoning -- Genetic algorithms -- Fuzzy optimization.
Record Nr. NYU-004447409
[Buckley, James J., 1936-]  
Materiale a stampa
Lo trovi qui: New York University
Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 ; proceedings / Anuj Dawar, Ruy de Queiroz (eds.).
Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 ; proceedings / Anuj Dawar, Ruy de Queiroz (eds.).
Creatore [Workshop on Logic, Language, Information and Computation (17th : 2010 : Brasilia, Distrito Federal, Brazil)]
Estensione 1 online resource (x, 258 pages) : illustrations.
Disciplina 004.015113
Accesso persona Dawar, Anuj
Queiroz, Ruy J. G. B. de.
Genere/Forma Congresses
Conference papers and proceedings
ISBN 9783642138249
3642138241
9783642138232
3642138233
Classificazione 54.10
31.10
17.46
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey -- The Two-Variable Fragment with Counting Revisited -- Intuitionistic Logic and Computability Theory -- Foundations of Satisfiability Modulo Theories -- Logical Form as a Determinant of Cognitive Processes -- Formal Lifetime Reliability Analysis Using Continuous Random Variables -- Modal Logics with Counting -- Verification of the Completeness of Unification Algorithms à la Robinson -- Mechanisation of PDA and Grammar Equivalence for Context-Free Languages -- On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations -- Decidability and Undecidability Results on the Modal?-Calculus with a Natural Number-Valued Semantics -- Solving the Implication Problem for XML Functional Dependencies with Properties -- On Anaphora and the Binding Principles in Categorial Grammar -- Feasible Functions over Co-inductive Data -- Interval Valued Fuzzy Coimplication -- Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures -- Intersection Type Systems and Explicit Substitutions Calculi -- Generalising Conservativity.
Record Nr. NYU-004363698
[Workshop on Logic, Language, Information and Computation (17th : 2010 : Brasilia, Distrito Federal, Brazil)]  
Materiale a stampa
Lo trovi qui: New York University
Modality and tense : philosophical papers / Kit Fine
Modality and tense : philosophical papers / Kit Fine
Creatore [Fine, Kit.]
Estensione 1 online resource (387 pages)
Disciplina 160
Accesso ente Oxford University Press
Genere/Forma Electronic books
ISBN 0199278709
9780199278701
9781435623767
1435623762
9780199278718
0199278717
9780191535321
019153532X
Classificazione 31.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. Issues in the Philosophy of language. Reference, essence, and identity -- The problem of De Re modality -- Quine on quantifying in -- pt. 2. Issues in Ontology. Prior on the construction of possible worlds and instants -- Plantinga on the reduction of possibilist discourse -- The problem of possibilia -- pt. 3. Issues in Metaphysics. The varieties of necessity -- Tense and reality -- Necessity and non-existence -- pt. 4. Reviews. Review of 'Counterfactuals' by David Lewis -- Review of 'The Nature of Necessity' by Alvin Plantinga.
Record Nr. NYU-006010257
[Fine, Kit.]  
Materiale a stampa
Lo trovi qui: New York University
Classical mathematical logic : the semantic foundations of logic / Richard L. Epstein ; with contributions by Lesław W. Szczerba
Classical mathematical logic : the semantic foundations of logic / Richard L. Epstein ; with contributions by Lesław W. Szczerba
Creatore [Epstein, Richard L., 1947- author]
Estensione 1 online resource (xxii, 522 pages) : illustrations
Disciplina 511.3
Genere/Forma Electronic books
ISBN 9781400841554
1400841550
9780691123004
0691123004
Classificazione 31.10
CC 2500
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Classical propositional logic -- Abstracting and axiomatizing classical propositional logic -- The language of predicate logic -- The semantics of classical predicate logic -- Substitutions and equivalences -- Equality -- Examples of formalization -- Functions -- The abstraction of models -- Axiomatizing classical predicate logic -- The number of objects in the universe of a model -- Formalizing group theory -- Linear orderings -- Second-order classical predicate logic -- The natural numbers -- The integers and rationals -- The real numbers -- One-dimensional geometry -- Two-dimensional Euclidean geometry -- Translations within classical predicate logic -- Classical predicate logic with non-referring names -- The Liar paradox -- On mathematical logic and mathematics -- Appendix: The completeness of classical predicate logic proved by Gödel's Method.
Record Nr. NYU-003762335
[Epstein, Richard L., 1947- author]  
Materiale a stampa
Lo trovi qui: New York University
Process algebra / J.C.M. Baeten and W.P. Weijland
Process algebra / J.C.M. Baeten and W.P. Weijland
Creatore [Baeten, J. C. M.]
Estensione 1 online resource (248 pages).
Disciplina 511.3
Accesso persona Weijland, W. P.
ISBN 0521400430
9780521400435
Classificazione 31.10
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004959485
[Baeten, J. C. M.]  
Materiale a stampa
Lo trovi qui: New York University