subjectheading:[Computer logic] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Computer logic]

Search:

Search Tips :: Advanced Search :: Browse Resources (beta)

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	Logic-based program synthesis and transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings[...] LOPSTR (Symposium) (33rd : 2023 : Cascais, Portugal); Glück, R. (Robert), 1961- e[...] Cham, Switzerland : Springer, 2023. QA76.63 .L66 2023 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Computer performance engineering and stochastic modelling : 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Flo[...] EPEW (Workshop) (19th : 2023 : Florence, Italy); Iacono, Mauro, 1975- editor.; Scarp[...] Cham : Springer, [2023] ©2023 QA76.9.E94 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Logic and its applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, proceedings / Mohua Banerjee, A.V. Sreejith, edit[...] ICLA (Conference : Logic) (10th : 2023 : Indore, India); Banerjee, Mohua, editor.; S[...] Cham : Springer, 2023. BC5 \| View e-resource \| Available Online \| Detailed record - Similar records
4.	Dynamic logic : new trends and applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected pa[...] DaLí (International Workshop) (4th : 2022 : Online); Areces, Carlos, editor.; Costa[...] Cham, Switzerland : Springer, 2023. QA76.9.L63 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Artificial intelligence logic and applications : the 2nd international conference, AILA 2022, Shanghai, China, August 26-28, 2022 : proceedings /[...] International Conference on Artificial Intelligence Logic and Applications (2nd [...] Singapore : Springer, [2022] ©2022 Q334 \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Rules and reasoning : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedi[...] RuleML+RR (Joint conference) (6th : 2022 : Online); Governatori, Guido.; Turhan, Ann[...] Cham : Springer, 2022. QA76.9.L63 \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Model-based safety and assessment : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings / Christel Seguin,[...] IMBSA (Symposium) (8th : 2022 : Munich, Germany); Seguin, Christel, editor.; Zeller,[...] Cham, Switzerland : Springer, 2022. QA76.63 \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Computer safety, reliability, and security : SAFECOMP 2022 Workshops : DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, Septe[...] SAFECOMP (Conference) (41st : 2022 : Munich, Germany); Trapp, Mario.; Schoitsch, Erw[...] Cham : Springer, 2022. QA76.9.A25 \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Computer safety, reliability, and security : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2002, proceedings / Ma[...] SAFECOMP (Conference) (41st : 2022 : Munich, Germany); Trapp, Mario, editor.; Saglie[...] Cham, Switzerland : Springer, 2022. QA76.9.A25 \| View e-resource \| Available Online \| Detailed record - Similar records
10.	Rules and reasoning : 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings / Sotiris Moschoyia[...] RuleML+RR (Joint Conference) (5th : 2021 : Leuven, Belgium); Moschoyiannis, Sotiri[...] Cham : Springer, 2021. QA76.9.L63 R85 2021eb \| View e-resource \| Available Online \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.