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.

Biblioteca

MARC Lista (tabellare)
Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Autore Platzer André
Pubbl/distr/stampa Cham, : Springer International Publishing AG, 2021
Descrizione fisica 1 online resource (655 p.)
Altri autori (Persone) SutcliffeGeoff
Collana Lecture Notes in Computer Science
Soggetto topico Artificial intelligence
Mathematical theory of computation
Computer programming / software development
Software Engineering
Soggetto non controllato Artificial Intelligence
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Software Engineering
Formal Languages and Automata Theory
Computer Science Logic and Foundations of Programming
automata theory
boolean functions
computer programming
first order logic
formal languages
formal logic
logic programming
model checking
program verification
semantics
software architecture
software design
software quality
software verification
theorem provers
theorem proving
Mathematical theory of computation
Computer programming / software engineering
Computer architecture & logic design
ISBN 3-030-79876-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti Automated Deduction – CADE 28
Automated Deduction - CADE 28
Record Nr. UNINA-9910491025703321
Platzer André  
Cham, : Springer International Publishing AG, 2021
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Autore Platzer André
Pubbl/distr/stampa Cham, : Springer International Publishing AG, 2021
Descrizione fisica 1 online resource (655 p.)
Altri autori (Persone) SutcliffeGeoff
Collana Lecture Notes in Computer Science
Soggetto topico Artificial intelligence
Mathematical theory of computation
Computer programming / software development
Software Engineering
Soggetto non controllato Artificial Intelligence
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Software Engineering
Formal Languages and Automata Theory
Computer Science Logic and Foundations of Programming
automata theory
boolean functions
computer programming
first order logic
formal languages
formal logic
logic programming
model checking
program verification
semantics
software architecture
software design
software quality
software verification
theorem provers
theorem proving
Mathematical theory of computation
Computer programming / software engineering
Computer architecture & logic design
ISBN 3-030-79876-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti Automated Deduction – CADE 28
Automated Deduction - CADE 28
Record Nr. UNISA-996464423903316
Platzer André  
Cham, : Springer International Publishing AG, 2021
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson
Autore Blanchette Jasmin
Pubbl/distr/stampa Cham, : Springer Nature, 2022
Descrizione fisica 1 online resource (xv, 756 pages) : illustrations (some color)
Disciplina 006.333
Altri autori (Persone) BlanchetteJasmin
KovácsLaura
PattinsonDirk <1970->
Collana Lecture notes in computer science
Soggetto topico Automatic theorem proving
Computer logic
Soggetto non controllato artificial intelligence
automata theory
computer hardware
computer networks
computer programming
computer systems
embedded systems
formal languages
formal logic
logic programming
network protocols
semantics
software architecture
software design
software engineering
theoretical computer science
ISBN 3-031-10769-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910585785003321
Blanchette Jasmin  
Cham, : Springer Nature, 2022
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson
Autore Blanchette Jasmin
Pubbl/distr/stampa Cham, : Springer Nature, 2022
Descrizione fisica 1 online resource (xv, 756 pages) : illustrations (some color)
Disciplina 006.333
Altri autori (Persone) BlanchetteJasmin
KovácsLaura
PattinsonDirk <1970->
Collana Lecture notes in computer science
Soggetto topico Automatic theorem proving
Computer logic
Soggetto non controllato artificial intelligence
automata theory
computer hardware
computer networks
computer programming
computer systems
embedded systems
formal languages
formal logic
logic programming
network protocols
semantics
software architecture
software design
software engineering
theoretical computer science
ISBN 3-031-10769-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996483156703316
Blanchette Jasmin  
Cham, : Springer Nature, 2022
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part II. / / editors, Sharon Shoham, Yakir Vizel
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part II. / / editors, Sharon Shoham, Yakir Vizel
Autore Shoham Sharon
Pubbl/distr/stampa Cham, : Springer Nature, 2022
Descrizione fisica 1 online resource (560 pages) : illustrations (black and white)
Altri autori (Persone) VizelYakir
Collana Lecture notes in computer science
Soggetto topico Computer software - Verification
Soggetto non controllato architecting
architecture verification and validation
artificial intelligence
computer programming
computer science
computer systems
databases
distributed computer systems
embedded systems
engineering
formal languages
formal logic
linguistics
mathematics
model checking
software architecture
software design
software engineering
software quality
theoretical computer science
ISBN 3-031-13188-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910586580503321
Shoham Sharon  
Cham, : Springer Nature, 2022
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part II. / / editors, Sharon Shoham, Yakir Vizel
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part II. / / editors, Sharon Shoham, Yakir Vizel
Autore Shoham Sharon
Pubbl/distr/stampa Cham, : Springer Nature, 2022
Descrizione fisica 1 online resource (560 pages) : illustrations (black and white)
Altri autori (Persone) VizelYakir
Collana Lecture notes in computer science
Soggetto topico Computer software - Verification
Soggetto non controllato architecting
architecture verification and validation
artificial intelligence
computer programming
computer science
computer systems
databases
distributed computer systems
embedded systems
engineering
formal languages
formal logic
linguistics
mathematics
model checking
software architecture
software design
software engineering
software quality
theoretical computer science
ISBN 3-031-13188-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996485664103316
Shoham Sharon  
Cham, : Springer Nature, 2022
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers / / edited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers / / edited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph
Autore Cochez Michael
Edizione [1st ed. 2021.]
Pubbl/distr/stampa Springer Nature, 2021
Descrizione fisica 1 online resource (IX, 151 p. 54 illus., 26 illus. in color.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Application software
Computer communication systems
Mathematical logic
Artificial Intelligence
Information Systems Applications (incl. Internet)
Computer Communication Networks
Mathematical Logic and Formal Languages
Soggetto non controllato Artificial Intelligence
Information Systems Applications (incl. Internet)
Computer Communication Networks
Mathematical Logic and Formal Languages
Computer and Information Systems Applications
Formal Languages and Automata Theory
open access
concept lattices
data mining
databases
fca
formal concept analysis
formal languages
formal logic
information analysis
information systems
knowledge-based system
model-based reasoning
network protocols
ontologies
Information retrieval
Internet searching
Network hardware
Mathematical theory of computation
ISBN 3-030-72308-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Extended Workshop Papers -- Active Semantic Relations in Layered Enterprise Architecture Development -- A Belief Update System Using an Event Model for Location of People in a Smart Home -- A Natural Language Generation Technique for Automated Psychotherapy -- Creative Composition Problem: A Knowledge Graph Logical-based AI Construction and Optimization Solution -- Set Visualisations with Euler and Hasse Diagrams -- Usage Patterns Identification Using Graphs and Machine Learning -- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination -- Invited Additional Contributions -- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification -- Galois Connections for Patterns: An Algebra of Labelled Graphs.
Record Nr. UNINA-9910473457803321
Cochez Michael  
Springer Nature, 2021
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers / / edited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers / / edited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph
Autore Cochez Michael
Edizione [1st ed. 2021.]
Pubbl/distr/stampa Springer Nature, 2021
Descrizione fisica 1 online resource (IX, 151 p. 54 illus., 26 illus. in color.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Application software
Computer communication systems
Mathematical logic
Artificial Intelligence
Information Systems Applications (incl. Internet)
Computer Communication Networks
Mathematical Logic and Formal Languages
Soggetto non controllato Artificial Intelligence
Information Systems Applications (incl. Internet)
Computer Communication Networks
Mathematical Logic and Formal Languages
Computer and Information Systems Applications
Formal Languages and Automata Theory
open access
concept lattices
data mining
databases
fca
formal concept analysis
formal languages
formal logic
information analysis
information systems
knowledge-based system
model-based reasoning
network protocols
ontologies
Information retrieval
Internet searching
Network hardware
Mathematical theory of computation
ISBN 3-030-72308-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Extended Workshop Papers -- Active Semantic Relations in Layered Enterprise Architecture Development -- A Belief Update System Using an Event Model for Location of People in a Smart Home -- A Natural Language Generation Technique for Automated Psychotherapy -- Creative Composition Problem: A Knowledge Graph Logical-based AI Construction and Optimization Solution -- Set Visualisations with Euler and Hasse Diagrams -- Usage Patterns Identification Using Graphs and Machine Learning -- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination -- Invited Additional Contributions -- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification -- Galois Connections for Patterns: An Algebra of Labelled Graphs.
Record Nr. UNISA-996464442403316
Cochez Michael  
Springer Nature, 2021
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey
Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey
Autore Sergey Ilya
Pubbl/distr/stampa Cham, : Springer International Publishing AG, 2022
Descrizione fisica 1 online resource (xiv, 604 pages) : illustrations
Altri autori (Persone) SergeyIlya
Collana Lecture notes in computer science
Soggetto topico Computer programming
Programming languages (Electronic computers)
Soggetto non controllato automata theory
computer programming
computer systems
databases
distributed computer systems
distributed systems
embedded systems
formal languages
formal logic
linguistics
ontologies
parallel processing systems
program compilers
programming languages
semantics
software design
software engineering
software quality
verification
ISBN 3-030-99336-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910555236003321
Sergey Ilya  
Cham, : Springer International Publishing AG, 2022
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey
Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey
Autore Sergey Ilya
Pubbl/distr/stampa Cham, : Springer International Publishing AG, 2022
Descrizione fisica 1 online resource (xiv, 604 pages) : illustrations
Altri autori (Persone) SergeyIlya
Collana Lecture notes in computer science
Soggetto topico Computer programming
Programming languages (Electronic computers)
Soggetto non controllato automata theory
computer programming
computer systems
databases
distributed computer systems
distributed systems
embedded systems
formal languages
formal logic
linguistics
ontologies
parallel processing systems
program compilers
programming languages
semantics
software design
software engineering
software quality
verification
ISBN 3-030-99336-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996464540903316
Sergey Ilya  
Cham, : Springer International Publishing AG, 2022
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui