खोज परिणाम - "formalization"

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

विषय: “…formal methods…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

विषय: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Supporting Self-Directed Learning in Science and Technology Beyond the School Years द्वारा Rennie, Léonie J.

विषय: “…adults' self-directed learning;adult education;adult learners;everyday science;formal schooling;John K. Gilbert;Léonie J. Rennie;learning relationships;lifelong learning;Self-directed Learning;STEM education;Susan Stocklmayer;science and technology education;science for all;science learning;scientific literacy…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

विषय: “…formalized proof…”
DOAB: download the publication
DOAB: description of the publication

Re-Reading Hanslick's Aesthetics Die Rezeption Eduard Hanslicks im englischen Sprachraum und ihre diskursiven Grundlagen द्वारा Wilfing, Alexander

विषय: “…Eduard Hanslick, formalism, aesthetics of music, music and emotion, theory of emotion, analytical philosophy, New Musicology, Immanuel Kant, Peter Kivy, Stephen Davies, Edmund Gurney, Adam Smith, Heinrich Schenker, John Sullivan Dwight, Clive Bell…”
DOAB: download the publication
DOAB: description of the publication

The Models of Engaged Learning and Teaching Connecting Sophisticated Thinking from Early Childhood to PhD द्वारा Willison, John

विषय: “…formal education…”
DOAB: download the publication
DOAB: description of the publication

What Photographs Do The making and remaking of museum cultures

विषय: “…museums;photography;culture;V&A;arts;heritage;visual arts;media studiesphotographs;photographic practices;formal collections;fine art;archive;knowledge-systems;Victoria and Albert Museum;museum studies;auto-ethnographic;studio photographers;image managers;conservators;curator…”
DOAB: download the publication
DOAB: description of the publication

Re-Reading Hanslick's Aesthetics Die Rezeption Eduard Hanslicks im englischen Sprachraum und ihre diskursiven Grundlagen द्वारा Wilfing, Alexander

विषय: “…Eduard Hanslick, formalism, aesthetics of music, music and emotion, theory of emotion, analytical philosophy, New Musicology, Immanuel Kant, Peter Kivy, Stephen Davies, Edmund Gurney, Adam Smith, Heinrich Schenker, John Sullivan Dwight, Clive Bell…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

The Models of Engaged Learning and Teaching Connecting Sophisticated Thinking from Early Childhood to PhD द्वारा Willison, John

विषय: “…formal education…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

What Photographs Do The making and remaking of museum cultures

विषय: “…museums;photography;culture;V&A;arts;heritage;visual arts;media studiesphotographs;photographic practices;formal collections;fine art;archive;knowledge-systems;Victoria and Albert Museum;museum studies;auto-ethnographic;studio photographers;image managers;conservators;curator…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

विषय: “…formalized proof…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Quantum Information and Symmetry

विषय: “…s-wave symmetry Eliashberg formalism…”
DOAB: download the publication
DOAB: description of the publication

From Education Policy to Education Practice Unpacking the Nexus

विषय: “…macro-policy of the formal education system…”
DOAB: download the publication
DOAB: description of the publication

A Comparative Study of the Formation of Contracts in Japanese, English, and German Law द्वारा Suzuki-Klasen, Anna Katharina

विषय: “…Angebot und Annahme, BGB, BGB Allgemeiner Teil, Bindungswille, Bürgerliches Gesetzbuch, Contracts in English Law, Contracts in German Law, Contracts in Japanese Law, Contracts in the Digital Economy, Japanese Law of Obligations, Law of Contract, Online Transactions, Real Estates, Schuldrecht, Types of Contract, Vertragsschluss, Willenserklärung, legal practice, contract formalities, contract form, signing, sealing, legal consciousness, legal history, German contract law, English contract law, Japanese contract law, comparative contract law, Contract formation…”
DOAB: download the publication
DOAB: description of the publication

From Education Policy to Education Practice Unpacking the Nexus

विषय: “…macro-policy of the formal education system…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Symmetry in Quantum Theory of Gravity

विषय: “…Hamiltonian formalism…”
DOAB: download the publication
DOAB: description of the publication

Nonequilibrium Phenomena in Strongly Correlated Systems

विषय: “…Zubarev formalism…”
DOAB: download the publication
DOAB: description of the publication

Computational Cognitive Modeling and Linguistic Theory द्वारा Brasoveanu, Adrian

विषय: “…Meaning Representations in Formal Semantics…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

विषय: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication

Computational Cognitive Modeling and Linguistic Theory द्वारा Brasoveanu, Adrian

विषय: “…Meaning Representations in Formal Semantics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication