Resultados da pesquisa - "Logic"

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Assuntos: “...Computer logic...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,... Por Ahmed, Amal

Assuntos: “...formal logic...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...

Assuntos: “...formal logic...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Simulation and Gaming

Assuntos: “...Computer architecture & logic design bicssc...”
DOAB: download the publication
DOAB: description of the publication

Educating Health Professionals in Genomic Medicine: Evidence-Based Strategies and Approaches

Assuntos: “...program logic...”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Assuntos: “...formal logic...”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Assuntos: “...formal logic...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

KONTRIBUSI PENGUASAAN MATERI PROGRAM DIKLAT MENGOPERASIKAN MESIN PRODUKSI KENDALI ELEKTRO MEKANIK TERHADAP PENGUASAAN MATERI MENGOPERASIKAN MESIN PRODUKSI KENDALI PROGRAMMABLE LOGIC CONTROLLER(PENELITIAN TERHADAP SISWA SEKOLAH MENENGAH KEJURUAN NEGERI 1TAROGONG KALER KABUPATEN GARUT TAHUN AJARAN 2007-2008) Por Maman Suherman, -

Link Metadata

Between Positivism and T.S. Eliot Imagism and T.E. Hulme Por Olsen, Flemming

Assuntos: “...Analytical philosophy & Logical Positivism bicssc...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Derrida on Being as Presence Questions and Quests Por White, David A.

Assuntos: “...Philosophy: logic bicssc...”
DOAB: download the publication
DOAB: description of the publication

The Reasoning Brain: The Interplay between Cognitive Neuroscience and Theories of Reasoning Por Vinod Goel

Assuntos: “...logic...”
DOAB: download the publication
DOAB: description of the publication

Reflektierte algorithmische Textanalyse. Interdisziplinäre(s) Arbeiten in der CRETA-Werkstatt

Assuntos: “...Philosophy: logic bicssc...”
DOAB: download the publication
DOAB: description of the publication

Reflektierte algorithmische Textanalyse. Interdisziplinäre(s) Arbeiten in der CRETA-Werkstatt

Assuntos: “...Philosophy: logic bicssc...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Assuntos: “...formal logic...”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Assuntos: “...formal logic...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

The health-illness care process and the logic of the nurse's work in the ICU El proceso de salud-enfermedad-cuidado y la lógica en el trabajo del enfermero en UCI O processo saúde-doença-cuidado e a lógica do trabalho do enfermeiro na UTI Por Leandro Barbosa de Pinho, Silvia Maria Azevedo dos Santos

Connect to this object online.

Cuidados de enfermagem para conforto de pessoas com dermatoses imunobolhosas: avaliação pela lógica fuzzy [Nursing care to comfort people with immunobullous dermatoses: evaluation by fuzzy logic] [Cuidados de enfermería para la comodidad de personas con dermatosis inmunoampollares: evaluación por la lógica fuzzy] Por Euzeli da Silva Brandão, Iraci dos Santos, Regina Serrão Lanzillotti

Connect to this object online.

Saber lo que sabe el otro, saber qué sabe el otro: nota sobre la estructura del tiempo lógico en Lacan y en el acontecimiento didáctico/To know that the other knows, to know what the other knows: note on the structure of the logical time in Lacan and the didactic event Por Mauricio Golfarini

Connect to this object online.

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

Assuntos: “...logic...”
DOAB: download the publication
DOAB: description of the publication

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

Assuntos: “...logic...”
OAPEN Library: download the publication
OAPEN Library: description of the publication