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.
Advances in database technology--EDBT '92 : 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992 : proceedings / / A. Pirotte, C. Delobel, G. Gottlob, eds
| Advances in database technology--EDBT '92 : 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992 : proceedings / / A. Pirotte, C. Delobel, G. Gottlob, eds |
| Pubbl/distr/stampa | Springer Berlin Heidelberg |
| Disciplina | 005.74 |
| Altri autori (Persone) |
PirotteA
DelobelC GottlobGeorg |
| Soggetto topico | Database management - Congresses |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465649003316 |
| Springer Berlin Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Databases and Information Systems [[electronic resource] ] : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings / / edited by Georg Gottlob, Andras Benczur, Janos Demetrovics
| Advances in Databases and Information Systems [[electronic resource] ] : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings / / edited by Georg Gottlob, Andras Benczur, Janos Demetrovics |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XI, 426 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Database management Information storage and retrieval Application software Multimedia information systems User interfaces (Computer systems) Data Structures and Information Theory Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) Multimedia Information Systems User Interfaces and Human Computer Interaction |
| ISBN | 3-540-30204-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Constraint Databases -- Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints -- Deductive Databases -- Update Propagation in Deductive Databases Using Soft Stratification -- Heterogenous and Web Information Systems -- Query Rewriting Using Views in a Typed Mediator Environment -- Reasoning About Web Information Systems Using Story Algebras -- Cross Enterprise Information Systems -- Component Framework for Strategic Supply Network Development -- Knowledge Discovery -- An Abstract Algebra for Knowledge Discovery in Databases -- Database Modelling -- Beyond Databases: An Asset Language for Conceptual Content Management -- Component-Based Modeling of Huge Databases -- Cognitive Load Effects on End User Understanding of Conceptual Models: An Experimental Analysis -- Template Based, Designer Driven Design Pattern Instantiation Support -- XML and Semistructured Databases -- A High-Level Language for Specifying XML Data Transformations -- Implementing a Query Language for Context-Dependent Semistructured Data -- Static Analysis of Structural Recursion in Semistructured Databases and Its Consequences -- Physical Database Design and Query Evaluation -- Catalogues from a New Perspective: A Data Structure for Physical Organisation -- Database Caching – Towards a Cost Model for Populating Cache Groups -- Towards Quadtree-Based Moving Objects Databases -- A Content-Based Music Retrieval System Using Multidimensional Index of Time-Sequenced Representative Melodies from Music Database -- Solving Stochastic Optimization in Distributed Databases Using Genetic Algorithms -- Transaction Management and Workflow Systems -- ML-1-2PC: An Adaptive Multi-level Atomic Commit Protocol -- Making More Out of an Inconsistent Database -- Process Query Language: A Way to Make Workflow Processes More Flexible -- Triggering Replanning in an Integrated Workflow Planning and Enactment System -- Query Processing and Data Streams -- Grouped Processing of Relational Algebra Expressions over Data Streams -- Processing Sliding Window Join Aggregate in Continuous Queries over Data Streams -- Spatial Databases -- How to Integrate Heterogeneous Spatial Databases in a Consistent Way? -- Vague Spatial Data Types, Set Operations, and Predicates -- Agents and Mobile Systems -- Intelligent Multi-agent Based Database Hybrid Intrusion Prevention System -- Energy Efficient Transaction Processing in Mobile Broadcast Environments. |
| Record Nr. | UNINA-9910144349903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Databases and Information Systems [[electronic resource] ] : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings / / edited by Georg Gottlob, Andras Benczur, Janos Demetrovics
| Advances in Databases and Information Systems [[electronic resource] ] : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings / / edited by Georg Gottlob, Andras Benczur, Janos Demetrovics |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XI, 426 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Database management Information storage and retrieval Application software Multimedia information systems User interfaces (Computer systems) Data Structures and Information Theory Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) Multimedia Information Systems User Interfaces and Human Computer Interaction |
| ISBN | 3-540-30204-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Constraint Databases -- Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints -- Deductive Databases -- Update Propagation in Deductive Databases Using Soft Stratification -- Heterogenous and Web Information Systems -- Query Rewriting Using Views in a Typed Mediator Environment -- Reasoning About Web Information Systems Using Story Algebras -- Cross Enterprise Information Systems -- Component Framework for Strategic Supply Network Development -- Knowledge Discovery -- An Abstract Algebra for Knowledge Discovery in Databases -- Database Modelling -- Beyond Databases: An Asset Language for Conceptual Content Management -- Component-Based Modeling of Huge Databases -- Cognitive Load Effects on End User Understanding of Conceptual Models: An Experimental Analysis -- Template Based, Designer Driven Design Pattern Instantiation Support -- XML and Semistructured Databases -- A High-Level Language for Specifying XML Data Transformations -- Implementing a Query Language for Context-Dependent Semistructured Data -- Static Analysis of Structural Recursion in Semistructured Databases and Its Consequences -- Physical Database Design and Query Evaluation -- Catalogues from a New Perspective: A Data Structure for Physical Organisation -- Database Caching – Towards a Cost Model for Populating Cache Groups -- Towards Quadtree-Based Moving Objects Databases -- A Content-Based Music Retrieval System Using Multidimensional Index of Time-Sequenced Representative Melodies from Music Database -- Solving Stochastic Optimization in Distributed Databases Using Genetic Algorithms -- Transaction Management and Workflow Systems -- ML-1-2PC: An Adaptive Multi-level Atomic Commit Protocol -- Making More Out of an Inconsistent Database -- Process Query Language: A Way to Make Workflow Processes More Flexible -- Triggering Replanning in an Integrated Workflow Planning and Enactment System -- Query Processing and Data Streams -- Grouped Processing of Relational Algebra Expressions over Data Streams -- Processing Sliding Window Join Aggregate in Continuous Queries over Data Streams -- Spatial Databases -- How to Integrate Heterogeneous Spatial Databases in a Consistent Way? -- Vague Spatial Data Types, Set Operations, and Predicates -- Agents and Mobile Systems -- Intelligent Multi-agent Based Database Hybrid Intrusion Prevention System -- Energy Efficient Transaction Processing in Mobile Broadcast Environments. |
| Record Nr. | UNISA-996465425703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Big Data [[electronic resource] ] : 29th British National Conference on databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings / / edited by Dan Olteanu, Georg Gottlob, Christian Schallhart
| Big Data [[electronic resource] ] : 29th British National Conference on databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings / / edited by Dan Olteanu, Georg Gottlob, Christian Schallhart |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 303 p. 89 illus.) |
| Disciplina | 005.74 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Information storage and retrieval Application software Data structures (Computer science) Software engineering Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) Data Structures Data Storage Representation Software Engineering |
| ISBN | 3-642-39467-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Query and update processing -- Relational storage -- Benchmarking -- XML query processing -- Big data -- Spatial data and indexing -- Data extraction and social networks. |
| Record Nr. | UNISA-996465406503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Big Data [[electronic resource] ] : 29th British National Conference on databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings / / edited by Dan Olteanu, Georg Gottlob, Christian Schallhart
| Big Data [[electronic resource] ] : 29th British National Conference on databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings / / edited by Dan Olteanu, Georg Gottlob, Christian Schallhart |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 303 p. 89 illus.) |
| Disciplina | 005.74 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Information storage and retrieval Application software Data structures (Computer science) Software engineering Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) Data Structures Data Storage Representation Software Engineering |
| ISBN | 3-642-39467-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Query and update processing -- Relational storage -- Benchmarking -- XML query processing -- Big data -- Spatial data and indexing -- Data extraction and social networks. |
| Record Nr. | UNINA-9910483801703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Logic and Proof Theory [[electronic resource] ] : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings / / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici
| Computational Logic and Proof Theory [[electronic resource] ] : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings / / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (IX, 355 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Programming languages (Electronic computers) Artificial intelligence Algorithms Mathematical Logic and Foundations Programming Languages, Compilers, Interpreters Artificial Intelligence Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-69806-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Paramodulation, superposition, and simplification -- Explaining Gentzen's consistency proof within infinitary proof theory -- Alogtime algorithms for tree isomorphism, comparison, and canonization -- Ultrafilter logic and generic reasoning -- Informal rigor and mathematical understanding -- Resolution, inverse method and the sequent calculus -- Subtyping over a lattice (abstract) -- A new method for bounding the complexity of modal logics -- Parameter free induction and reflection -- Looking for an analogue of Rice's Theorem in circuit complexity theory -- Two connections between Linear Logic and ?ukasiewicz Logics -- Structuring of computer-generated proofs by cut introduction -- NaDSyL and some applications -- Markov's rule is admissible in the set theory with intuitionistic logic -- Bounded hyperset theory and web-like data bases -- Invariant definability -- Comparing computational representations of Herbrand models -- Restart tableaux with selection function -- Two semantics and logics based on the Gödel interpretation -- On the completeness and decidability of a restricted first order linear temporal logic -- Propositional quantification in intuitionistic logic -- Sketch-as-proof -- Translating set theoretical proofs into type theoretical programs -- Denotational semantics for polarized (but-non-constrained) LK by means of the additives -- The undecidability of simultaneous rigid E-unification with two variables -- The tangibility reflection principle for self-verifying axiom systems -- Upper bounds for standardizations and an application. |
| Record Nr. | UNISA-996465504403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic and Proof Theory [[electronic resource] ] : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings / / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici
| Computational Logic and Proof Theory [[electronic resource] ] : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings / / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (IX, 355 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Programming languages (Electronic computers) Artificial intelligence Algorithms Mathematical Logic and Foundations Programming Languages, Compilers, Interpreters Artificial Intelligence Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-69806-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Paramodulation, superposition, and simplification -- Explaining Gentzen's consistency proof within infinitary proof theory -- Alogtime algorithms for tree isomorphism, comparison, and canonization -- Ultrafilter logic and generic reasoning -- Informal rigor and mathematical understanding -- Resolution, inverse method and the sequent calculus -- Subtyping over a lattice (abstract) -- A new method for bounding the complexity of modal logics -- Parameter free induction and reflection -- Looking for an analogue of Rice's Theorem in circuit complexity theory -- Two connections between Linear Logic and ?ukasiewicz Logics -- Structuring of computer-generated proofs by cut introduction -- NaDSyL and some applications -- Markov's rule is admissible in the set theory with intuitionistic logic -- Bounded hyperset theory and web-like data bases -- Invariant definability -- Comparing computational representations of Herbrand models -- Restart tableaux with selection function -- Two semantics and logics based on the Gödel interpretation -- On the completeness and decidability of a restricted first order linear temporal logic -- Propositional quantification in intuitionistic logic -- Sketch-as-proof -- Translating set theoretical proofs into type theoretical programs -- Denotational semantics for polarized (but-non-constrained) LK by means of the additives -- The undecidability of simultaneous rigid E-unification with two variables -- The tangibility reflection principle for self-verifying axiom systems -- Upper bounds for standardizations and an application. |
| Record Nr. | UNINA-9910144919503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Logic and Proof Theory [[electronic resource] ] : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings / / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici
| Computational Logic and Proof Theory [[electronic resource] ] : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings / / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (XI, 354 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Computer logic Philosophy and science Artificial intelligence Mathematical Logic and Foundations Logics and Meanings of Programs Philosophy of Science Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-540-47943-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The mathematics of set predicates in Prolog -- Some connections between set theory and computer science -- Gödel's Dialectica interpretation and its two-way stretch -- Epistemic entrenchment and arithmetical hierarchy (abstract) -- A critical reexamination of default logic, autoepistemic logic, and only knowing -- Complexity issues in nonmonotonic logic and logic programming (abstract) -- Strategies for resolution method in non-classical logics (Abstract) -- Undecidability of implication problems in logic programming, database theory and classical logic -- Building up a tool-box for Martin-Löf's type theory (abstract) -- The logic of the Gödel proof predicate -- Superposition with simplification as a decision procedure for the monadic class with equality -- Computation with access to the reals, but using only classical machines -- The even more liberalized ?-rule in free variable Semantic Tableaux -- Differentiating assumptions from extra-logical axioms in natural deduction -- The inverse of fitting's functional -- On loop detection in connection calculi -- On Arnol'd's Hilbert symposium problems -- The structure of exponentials: Uncovering the dynamics of linear logic proofs -- On different concepts of function introduction -- Double exponential inseparability of Robinson subsystem Q+ from the unsatisfiable sentences in the language of addition -- On the meaning of essentially unprovable theorems in the presburger theory of addition -- A syntactic consistency proof for NaDSet -- A rule-based algorithm for rigid E-unification -- A scheme for weakened negative introspection in autoepistemic reasoning -- On the weakness of sharply bounded polynomial induction -- On the logic of hypergraphs -- Recursion theoretic properties of frequency computation and bounded queries (extended abstract) -- Interpreting true arithmetic in degree structures -- Classical proofs as programs -- Completeness of the pool calculus with an open built-in theory -- On the saturation principle for a linear temporal logic -- A construction of typed lambda models related to feasible computability -- Nonmonotonic reasoning is sometimes simpler -- Self-verifying axiom systems -- Committed-choice concurrent logic programming in linear logic. |
| Record Nr. | UNISA-996465881103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Datalog Reloaded [[electronic resource] ] : First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers / / edited by Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers
| Datalog Reloaded [[electronic resource] ] : First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers / / edited by Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (VIII, 399 p. 52 illus.) |
| Disciplina | 005.75 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Computer communication systems Information storage and retrieval Artificial intelligence Software engineering Mathematical logic Information Systems Applications (incl. Internet) Computer Communication Networks Information Storage and Retrieval Artificial Intelligence Software Engineering Mathematical Logic and Formal Languages |
| ISBN | 3-642-24206-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466172603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Expert Systems in Engineering: Principles and Applications [[electronic resource] ] : Principles and Applications / / edited by Georg Gottlob, Wolfgang Nejdl
| Expert Systems in Engineering: Principles and Applications [[electronic resource] ] : Principles and Applications / / edited by Georg Gottlob, Wolfgang Nejdl |
| Edizione | [1st ed. 1990.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
| Descrizione fisica | 1 online resource (XII, 264 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Engineering Computer simulation Computer-aided engineering Organization Planning Control engineering Robotics Mechatronics Artificial Intelligence Engineering, general Simulation and Modeling Computer-Aided Engineering (CAD, CAE) and Design Control, Robotics, Mechatronics |
| ISBN | 3-540-46711-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Characterizing diagnoses -- An interval propagation and conflict recognition engine for diagnosing continuous dynamic systems -- A new diagnosis approach by deduction and abduction -- Diagnoses as coherent assumption sets -- Sidia: Extending prediction based diagnosis to dynamic models -- Hypothesis classification, abductive diagnosis and therapy -- A generic measurement proposer -- A circumscribed diagnosis engine -- Discrepancies — Theories and applications of model-based diagnosis -- Planning in polynomial time -- Interaction-based invention: Designing novel devices from first principles -- Constraint propagation issues in automated design -- Integrating inductive learning and simulation in rule-based scheduling -- CRONOS-III: Requirements for a knowledge-based scheduling tool covering a broad class of production environments -- Resolution-based reasoning for fuzzy logic -- Match-time predictability in real-time production systems -- Constructing decision trees from examples and their explanation-based generalizations -- Dynamic constraint satisfaction in a bridge design system -- Application of model-based diagnosis to machine tools -- Adaptive rule-based optimisation of combustion in multiple burner installations -- Expert system application in the VA STAHL Linz GmbH -- Expert system development for intelligent monitoring of blast furnace operations -- Scheduling in a steelmaking plant -- Total production control system of BF?MILL with expert system in NKK -- Ai — Knowledge based systems at BHP CPD -- Scheduling of melts in a LD-steel plant. |
| Record Nr. | UNISA-996465574103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
