Search Results - nonnumerical algorithms and problems—complexity of proof prize- dures general terms*

PROGRAM VERIFICATION: THE VERY IDEA.

Authors: Fetzer, James H.

Source: Communications of the ACM; Sep88, Vol. 31 Issue 9, p1048-1063, 16p, 2 Diagrams, 3 Charts

Subject Terms: SOFTWARE verification, RELIABILITY in engineering

ECAI 2023 : 26th European Conference on Artificial Intelligence, September 30 – October 4, 2023, Kraków, Poland – Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023)

Authors: Kobi Gal Ann Nowé Grzegorz J. Nalepa et al.

Resource Type: eBook.

Categories: COMPUTERS / Artificial Intelligence / General

Computing Handbook : Two-Volume Set

Authors: Allen Tucker Teofilo Gonzalez Heikki Topi et al.

Resource Type: eBook.

Subjects: QA76

Categories: COMPUTERS / General, COMPUTERS / Programming / Games, COMPUTERS / Information Technology, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Engineering, MATHEMATICS / General, MATHEMATICS / Arithmetic

Probabilistic and Causal Inference : The Works of Judea Pearl

Authors: Hector Geffner Rina Dechter Joseph Halpern

Resource Type: eBook.

Subjects: Causation, Artificial intelligence, Probabilities

Categories: COMPUTERS / Data Science / Machine Learning, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Expert Systems

Springer Handbook of Computational Intelligence

Authors: Janusz Kacprzyk Witold Pedrycz

Resource Type: eBook.

Subjects: Computational intelligence

Categories: COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Engineering (General)

International Encyclopedia of the Social & Behavioral Sciences

Authors: Wright, James D.

Resource Type: eBook.

Subjects: Psychology, Psychology--Encyclopedias, Social sciences--Encyclopedias, Social sciences

Categories: MATHEMATICS / Probability & Statistics / General, PSYCHOLOGY / General

The Handbook of Applied Expert Systems

Authors: Jay Liebowitz

Resource Type: eBook.

Subjects: QA76.76.E95

Categories: COMPUTERS / Information Technology, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Computer Engineering

Handbook of Organizations (RLE: Organizations)

Authors: James March

Resource Type: eBook.

Subjects: Organizational behavior, Organization

Categories: BUSINESS & ECONOMICS / Organizational Behavior, BUSINESS & ECONOMICS / General

Manufacturing Science and Technology, ICMST2011

Authors: Wu Fan

Resource Type: eBook.

Subjects: Computer integrated manufacturing systems--Congresses, Manufacturing processes--Congresses, Industrial engineering--Congresses, Production engineering--Congresses

Categories: TECHNOLOGY & ENGINEERING / Materials Science / General

American Men and Women of Science: A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Authors: Gale Research Inc

Resource Type: eBook.

Categories: BIOGRAPHY & AUTOBIOGRAPHY / Science & Technology, REFERENCE / Directories

American Men & Women of Science : A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Authors: Tracie Moy

Resource Type: eBook.

Subjects: Biologists--Biography, Medical scientists--Biography, Scientists--Biography, Physical scientists--Biography, Statisticians--Biography, Computer scientists--Biography, Engineers--Biography, Mathematicians--Biography

Categories: SCIENCE / History

The Structure and Dynamics of Networks

Authors: Mark Newman Albert-László Barabási Duncan J. Watts

Resource Type: eBook.

Subjects: Computer networks, System theory, Research, Social networks, Dynamics, System analysis, Network analysis (Planning), Graph theory, Social networks--Mathematical models, Statistics, Internet, Complexity (Philosophy)

Categories: MATHEMATICS / Applied

American Men & Women of Science : A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Authors: Kalte, Pamela M. Nemeh, Katherine H. Schusterbauer, Noah

Resource Type: eBook.

Subjects: Scientists--United States--Biography, Scientists--Canada--Biography, Scientists--United States--Directories, Scientists--Canada--Directories, Science

American Men & Women of Science : A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Authors: Kalte, Pamela M. Nemeh, Katherine H.

Resource Type: eBook.

Subjects: Scientists--Canada--Directories, Scientists--Canada--Biography, Scientists--United States--Directories, Science, Scientists--United States--Biography

Categories: BIOGRAPHY & AUTOBIOGRAPHY / Science & Technology