Logics of Specification Languages

Logics of Specification Languages

636 p.

Saved in:

書目詳細資料
其他作者:	Bjørner, D. ; Henson, Martin C.
格式:	圖書
語言:	English
出版:	H: Springer 2017
主題:	Computer Science ; Logic, Symbolic and mathematical 005.13
在線閱讀:	http://repository.vnu.edu.vn/handle/VNU_123/25643
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Vietnam National University, Hanoi
語言:	English

相似書籍

Automata, Languages and Programming
出版: (2017)

Developments in Language Theory
出版: (2017)

Illustrated C# 2008
由: Daniel Solis
出版: (2017)

Practical Prototype and script.aculo.us
由: Dupont, Andrew
出版: (2017)

Rewriting Techniques and Applications
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andrei Voronkov.
出版: (2017)

Declarative agent languages and technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, revised selected and invited papers
出版: (2017)

Hướng dẫn lập trình với Assembly
由: Lê, Mạnh Thạnh
出版: (2017)

MooTools Essentials
由: Newton, Aaron
出版: (2017)

Giáo trình C++ & lập trình hướng đối tượng
由: Phạm, Văn Ất, et al.
出版: (2017)

An [omega]-order predicate logic with types
由: Anocha Yimsiriwattana
出版: (2009)

Logic functions and equations : examples and exercises
由: Steinbach, Bernd ; Posthoff, Christian
出版: (2017)

Temporal Logic and State Systems
由: Kröger, Fred
出版: (2017)

A course on mathematical logic
由: Srivastava, S. M.
出版: (2017)

Games : unifying logic, language, and philosophy
出版: (2017)

A non-disjunctive material implication
由: Estalilla, Aliento V.
出版: (1989)

Analysis and synthesis of logics : how to cut and paste reasoning systems
由: Coniglio, Marcelo, et al.
出版: (2017)

Logic-Based Program Synthesis and Transformation
出版: (2017)

Towards mathematical philosophy : papers from the Studia logica conference "Trends in Logic IV"
出版: (2017)

Logics in Artificial Intelligence
出版: (2017)

The inclusion of the rudiments of mathematical logic into the introductory college mathematics curriculum
由: Maalat, Chula U.
出版: (1987)

Using fuzzy logic in the governing system of a micro-hydro power plant
由: Gan Lim, Laurence A.
出版: (2001)

Cognitive skill achievement of college freshmen using Piaget's logical operations in mathematics
由: Leongson, Jaime Acedillo
出版: (2001)

Potensi Light Emitting Diode (Led) Biru Untuk Fotoinaktivasi Bakteri Staphylococcus Aureus Dengan Porfirin Endogen
由: Suryani Dyah Astuti, -
出版: (2011)

HYBRID ALGORITMA ARTIFICIAL BEE COLONY (ABC) DAN SIMULATED ANNEALING (SA) UNTUK MENYELESAIKAN MULTITRIPS VEHICLE ROUTING PROBLEM (MTVRP)
由: Refa Angreini Ayuningputri, 081311233028
出版: (2019)

DIMENSI METRIK KUAT DAN DIMENSI METRIK KUAT LOKAL GRAF HASIL OPERASI KORONA TINGKAT-
由: AYUNE ROSFIANA, 081411231014
出版: (2018)

Dimensi Metrik Dominasi Pada Graf Hasil Operasi Amalgamasi Sisi
由: Fadillah Dian Maharani
出版: (2021)

Grammatical Inference: Algorithms and Applications
由: Jaime G. Carbonell, J\
出版: (2017)

When deep learning meets inductive logic programming
由: Cao, Yushi
出版: (2025)

Mathematics for fun
由: Pang, Stanley L., et al.
出版: (1997)

Symbolic expression manipulator
由: Lo, Bernard, et al.
出版: (1990)

PENERAPAN ALGORITMA CUCKOO SEARCH (CS) PADA DYNAMIC TRAVELLING SALESMAN PROBLEM (DTSP)
由: LUTVI MAULIDA AL HUMAIRO, 0811112006
出版: (2018)

ANALISIS KESTABILAN DAN KONTROL OPTIMAL MODEL MATEMATIKA PENYEBARAN PENYAKIT DIFTERI
由: YUSTINA ALDIAST ITHRISA, 081411233003
出版: (2018)

Logic(s)
由: Turner, B.S.
出版: (2014)

Design, implementation, and evaluation of an asynchronous learning module on symbolic logic for college deaf students
由: Rivera, John Joseph E.
出版: (2021)

Logical Foundations of Computer Science
出版: (2017)

RANCANGAN ROBUST TAGUCHI
由: MOHAMMAD AINUL YAQIN, 089411190
出版: (2000)

SELANG KEPERCAYAAN KURVA REGRESI NONPARAMETRIK DENGAN ERROR LOG NORMAL BERDASARKAN ESTIMATOR KERNEL
由: KAMELIA ALI, 080912079
出版: (2004)

Logic-Based Program Synthesis and Transformation
出版: (2017)

The impacts of consumer\'s health topic familiarity in seeking health information online
由: Ira Puspitasari, .-
出版: (2017)

Making the information technology-business alignment works: a framework of IT-based competitive strategy
由: Ira Puspitasari, .-, et al.
出版: (2020)