Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program reasoning » program learning, programming reasoning, program planning
reasoning process » reading process
process https » process http, processes https, process helps
program reasoning » program learning, programming reasoning, program planning
reasoning process » reading process
process https » process http, processes https, process helps
1
Published 2010
Table of Contents:
“... -- Human and Unhuman Commonsense Reasoning -- Gödel Logics – A Survey -- Tableau Calculus for the Logic...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... for Verification of Data-Centric Processes -- Bounded Proofs and Step Frames -- Compression of Propositional...”View full text
Electronic
eBook
3
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”View full text
Electronic
eBook
4
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Keynote Presentations -- Case-Based Reasoning Tomorrow: Provenance, the Web, and Cases...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking...”View full text
Electronic
eBook
7
Table of Contents:
“...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...”
View full text
View full text
Electronic
eBook
8
Subjects:
“...Computer Appl. in Administrative Data Processing. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Deductive Synthesis of Lisp Programs in the System ALISA -- A Fault-Tolerant Default Logic -- Reasoning...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... of ACTL and LTL -- The Complexity of CTL* + Linear Past -- Footprints in Local Reasoning -- A Modal...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... with Layered Queueing Networks -- Error Handling: From Theory to Practice -- Modeling and Reasoning about...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... and Reasoning About Timing Constraints in Real-Time Systems -- Finding Pareto-Optimal Set of Distributed Vectors...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- Normative Reasoning with an Adaptive Self-interested Agent Model Based on Markov Decision Processes -- Query...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Algebrae -- Reasoning and Quantification in Fuzzy Description Logics -- Programming with Fuzzy Logic...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Array -- Efficiently Scaling Up Video Annotation with Crowdsourced Marketplaces -- Robust and Fast...”View full text
Electronic
eBook
20
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook