Dynamic logic

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/CreativeWork
http://schema.org/Book

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/33755112#Topic/formale_logik_algorithmus
http://id.loc.gov/authorities/subjects/sh99003622
http://experiment.worldcat.org/entity/work/data/33755112#Topic/formal_methods_computer_science
http://experiment.worldcat.org/entity/work/data/33755112#Topic/computer_logic
http://experiment.worldcat.org/entity/work/data/33755112#Topic/matematikai_logika_szamitastudomany
http://experiment.worldcat.org/entity/work/data/33755112#Topic/computers_reference
http://experiment.worldcat.org/entity/work/data/33755112#Topic/genie_logiciel
http://experiment.worldcat.org/entity/work/data/33755112#Topic/computers_computer_science
http://experiment.worldcat.org/entity/work/data/33755112#Topic/logique_informatique
http://experiment.worldcat.org/entity/work/data/33755112#Topic/logique_dynamique
http://experiment.worldcat.org/entity/work/data/33755112#Topic/informatica
http://experiment.worldcat.org/entity/work/data/33755112#Topic/logica_matematica_e_informatica
http://experiment.worldcat.org/entity/work/data/33755112#Topic/computers_information_technology
http://id.loc.gov/authorities/subjects/sh97004631
http://experiment.worldcat.org/entity/work/data/33755112#Topic/dynamische_modellen
http://experiment.worldcat.org/entity/work/data/33755112#Topic/algorithmus_formale_logik
http://experiment.worldcat.org/entity/work/data/33755112#Topic/logica_simbolica
http://experiment.worldcat.org/entity/work/data/33755112#Topic/logika_informatyczna
http://experiment.worldcat.org/entity/work/data/33755112#Topic/matematisk_logik
http://experiment.worldcat.org/entity/work/data/33755112#Topic/computers_machine_theory
http://experiment.worldcat.org/entity/work/data/33755112#Topic/formale_methode_software_analyse
http://experiment.worldcat.org/entity/work/data/33755112#Topic/dynamische_logik
http://experiment.worldcat.org/entity/work/data/33755112#Topic/logica
http://experiment.worldcat.org/entity/work/data/33755112#Topic/computers_computer_literacy
http://experiment.worldcat.org/entity/work/data/33755112#Topic/wiskundige_modellen
http://experiment.worldcat.org/entity/work/data/33755112#Topic/logique_1er_ordre
http://experiment.worldcat.org/entity/work/data/33755112#Topic/computers_data_processing
http://experiment.worldcat.org/entity/work/data/33755112#Topic/programacion_logica
http://experiment.worldcat.org/entity/work/data/33755112#Topic/methodes_formelles_informatique
http://id.worldcat.org/fast/932926
http://experiment.worldcat.org/entity/work/data/33755112#Topic/computers_hardware_general
http://experiment.worldcat.org/entity/work/data/33755112#Topic/software_analyse_formale_methode
http://experiment.worldcat.org/entity/work/data/33755112#Topic/methode_formelle
http://id.worldcat.org/fast/872265
http://experiment.worldcat.org/entity/work/data/33755112#Topic/logika_szimbolikus
http://experiment.worldcat.org/entity/work/data/33755112#Topic/formal_methods
http://experiment.worldcat.org/entity/work/data/33755112#Topic/logisch_programmeren
http://experiment.worldcat.org/entity/work/data/33755112#Topic/logica_simbolica_y_matematica
http://experiment.worldcat.org/entity/work/data/33755112#Topic/metody_formalne_informatyka

http://schema.org/author

http://worldcat.org/entity/person/id/2640223981
http://worldcat.org/entity/person/id/2642188579
http://worldcat.org/entity/person/id/2627476534

http://schema.org/contributor

http://worldcat.org/entity/person/id/2642188579
http://worldcat.org/entity/person/id/2627476534

http://schema.org/creator

http://worldcat.org/entity/person/id/2732676907
http://worldcat.org/entity/person/id/2640223981

http://schema.org/genre

"Electronic books"@en
"Ressources Internet"

http://schema.org/name

"Dynamic Logic"
"Dynamic logic"@en
"Dynamic logic"

http://schema.org/workExample

http://www.worldcat.org/oclc/799526618
http://www.worldcat.org/oclc/247739643
http://www.worldcat.org/oclc/43894182
http://www.worldcat.org/oclc/908968312
http://www.worldcat.org/oclc/913084118
http://www.worldcat.org/oclc/421816168
http://www.worldcat.org/oclc/856806670
http://www.worldcat.org/oclc/652366480
http://www.worldcat.org/oclc/473883255
http://www.worldcat.org/oclc/897719302
http://www.worldcat.org/oclc/857965294
http://www.worldcat.org/oclc/751144482
http://www.worldcat.org/oclc/782924992
http://www.worldcat.org/oclc/640189858
http://www.worldcat.org/oclc/909300831
http://www.worldcat.org/oclc/61848680
http://www.worldcat.org/oclc/912155740

Algorithmus Formale Logik.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Algorithmus Formale Logik."