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.
Automatisierte Bewertung in der Programmierausbildung [[electronic resource]] / Oliver J. Bott, Peter Fricke, Uta Priss, Michael Striewe
| Automatisierte Bewertung in der Programmierausbildung [[electronic resource]] / Oliver J. Bott, Peter Fricke, Uta Priss, Michael Striewe |
| Edizione | [1st, New ed.] |
| Pubbl/distr/stampa | Münster, : Waxmann, 2017 |
| Descrizione fisica | 1 online resource (420 p.) |
| Collana | Digitale Medien in der Hochschullehre |
| Soggetto topico |
Programmierausbildung
Java SQL Prolog UML-Modellierung App Android Mathematikausbildung Grader JACK Praktomat Graja aSQLg GATE VEA PABS ASB Moodle LON-CAPA STUD.IP Medien- und Umweltpädagogik |
| ISBN | 3-8309-8606-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISA-996354436703316 |
| Münster, : Waxmann, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automatisierte Bewertung in der Programmierausbildung / / Oliver J. Bott, Peter Fricke, Uta Priss, Michael Striewe
| Automatisierte Bewertung in der Programmierausbildung / / Oliver J. Bott, Peter Fricke, Uta Priss, Michael Striewe |
| Edizione | [1st, New ed.] |
| Pubbl/distr/stampa | Münster, : Waxmann, 2017 |
| Descrizione fisica | 1 online resource (420 p.) |
| Collana | Digitale Medien in der Hochschullehre |
| Soggetto topico |
Programmierausbildung
Java SQL Prolog UML-Modellierung App Android Mathematikausbildung Grader JACK Praktomat Graja aSQLg GATE VEA PABS ASB Moodle LON-CAPA STUD.IP Medien- und Umweltpädagogik |
| ISBN | 3-8309-8606-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910413348703321 |
| Münster, : Waxmann, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Conceptual Structures: Integration and Interfaces [[electronic resource] ] : 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings / / edited by Uta Priss, Dan Corbett, Galia Angelova
| Conceptual Structures: Integration and Interfaces [[electronic resource] ] : 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings / / edited by Uta Priss, Dan Corbett, Galia Angelova |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XI, 400 p.) |
| Disciplina | 003/.54 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science—Mathematics Mathematical logic Algorithms Artificial Intelligence Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-45483-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited -- Conceptual Structures in Modern Information Retrieval -- Formal Concept Analysis on Its Way from Mathematics to Computer Science -- Data and Knowledge Structures -- A Linearly Complex Model for Knowledge Representation -- Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations -- Information Transfer across Simple Concept Graphs -- Relational Scaling and Databases -- Information Retrieval -- Knowledge Representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English -- Conceptual Graph Matching for Semantic Search -- Text Schema Mining Using Graphs and Formal Concept Analysis -- Text Mining at Detail Level Using Conceptual Graphs -- Natural Language -- Processing Negation in NL Interfaces to Knowledge Bases -- Automatic Generation and Evaluation of Sentence Graphs out of Word Graphs -- CG Representations of Non-literal Expressions -- Ontology and Semantics -- A Peircean Ontology of Semantics -- Building Concept Lattices by Learning Concepts from RDF Graphs Annotating Web Documents -- The CG Formalism as an Ontolingua for Web-Oriented Representation Languages -- A Viewpoint Model for Cooperative Building of an Ontology -- Towards a Pragmatic Web -- A First Step toward the Knowledge Web: Interoperability Issues among Conceptual Graph Based Software Agents Part I -- Interfaces and Applications -- CGWorld - Architecture and Features -- Extending SNePSwD with Permissive Belief Revision -- On Teaching Conceptual Graphs -- Logical and Mathematical Foundations -- The Use of Associative Concepts in the Incremental Building of a Logical Context -- Modal Logic for Evaluating Formulas in Incomplete Contexts -- An Embedding of Existential Graphs into Concept Graphs with Negations -- Interpretation of Automata in Temporal Concept Analysis -- Associative and Formal Concepts -- Semiconcept Graphs with Variables -- Existential Concept Graphs of Power Context Families. |
| Record Nr. | UNISA-996465523103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual Structures: Integration and Interfaces : 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings / / edited by Uta Priss, Dan Corbett, Galia Angelova
| Conceptual Structures: Integration and Interfaces : 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings / / edited by Uta Priss, Dan Corbett, Galia Angelova |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XI, 400 p.) |
| Disciplina | 003/.54 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science—Mathematics Logic, Symbolic and mathematical Algorithms Artificial Intelligence Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-45483-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited -- Conceptual Structures in Modern Information Retrieval -- Formal Concept Analysis on Its Way from Mathematics to Computer Science -- Data and Knowledge Structures -- A Linearly Complex Model for Knowledge Representation -- Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations -- Information Transfer across Simple Concept Graphs -- Relational Scaling and Databases -- Information Retrieval -- Knowledge Representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English -- Conceptual Graph Matching for Semantic Search -- Text Schema Mining Using Graphs and Formal Concept Analysis -- Text Mining at Detail Level Using Conceptual Graphs -- Natural Language -- Processing Negation in NL Interfaces to Knowledge Bases -- Automatic Generation and Evaluation of Sentence Graphs out of Word Graphs -- CG Representations of Non-literal Expressions -- Ontology and Semantics -- A Peircean Ontology of Semantics -- Building Concept Lattices by Learning Concepts from RDF Graphs Annotating Web Documents -- The CG Formalism as an Ontolingua for Web-Oriented Representation Languages -- A Viewpoint Model for Cooperative Building of an Ontology -- Towards a Pragmatic Web -- A First Step toward the Knowledge Web: Interoperability Issues among Conceptual Graph Based Software Agents Part I -- Interfaces and Applications -- CGWorld - Architecture and Features -- Extending SNePSwD with Permissive Belief Revision -- On Teaching Conceptual Graphs -- Logical and Mathematical Foundations -- The Use of Associative Concepts in the Incremental Building of a Logical Context -- Modal Logic for Evaluating Formulas in Incomplete Contexts -- An Embedding of Existential Graphs into Concept Graphs with Negations -- Interpretation of Automata in Temporal Concept Analysis -- Associative and Formal Concepts -- Semiconcept Graphs with Variables -- Existential Concept Graphs of Power Context Families. |
| Record Nr. | UNINA-9910143883603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||