Subject: Computer logic - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

New Search Subject Computer logic

1 - 10 of 73

1. A paraconsistent decision-making method. ([2018])

Authors:: Carvalho, Fábio Romeu de; Abe, Jair Minoro
Record Type:: Book
Extent:: 1 online resource (xviii, 211 pages), illustrations (some color)
View Content:: Available online (eLD content is only available in our Reading Rooms)

2. Advances in Computational Intelligence Techniques. (2020)

Editors:: Jain, Shruti; Sood, Meenakshi; Paul, Sudip
Record Type:: Book
Extent:: 1 online resource (266 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms)

3. Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings /: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings. ([2017])

Editors:: Best, Eike; Aalst, Wil van der
Other Names:: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 38th
Record Type:: Book
Extent:: 1 online resource (xiv, 351 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

4. Application and Theory of Petri Nets and Concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings /: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings. (2020)

Editors:: Janicki, Ryszard; (Computer scientist), Sidorova, Natalia; Chatain, Thomas
Record Type:: Book
Extent:: 1 online resource (437 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms)

5. Applications of computer algebra : Kalamata, Greece, July 20-23 2015 /: Kalamata, Greece, July 20-23 2015. ([2017])

Editors:: Kotsireas, Ilias; Martínez-Moro, Edgar
Other Names:: Applications of Computer Algebra Conference
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms)

6. Applied logic for computer scientists : computational deduction and formal proofs /: computational deduction and formal proofs. (2017)

Authors:: Ayala-Rincón, M (Mauricio); Moura, Flávio L. C. de
Record Type:: Book
Extent:: 1 online resource (xviii, 150 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

7. Artificial intelligence and computing logic : cognitive technology for AI business analytics /: cognitive technology for AI business analytics. (2021)

Authors:: Nourani, Cyrus F
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms)

8. Automated reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part I (2020)

Other Names:: Peltier, Nicholas; Sofronie-Stokkermans, Viorica; IJCAR (Conference), 10th
Record Type:: Book
Extent:: 1 online resource (553 p.)
View Content:: Available online (eLD content is only available in our Reading Rooms)

9. Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part II (2020)

Other Names:: Peltier, Nicholas; Sofronie-Stokkermans, Viorica; IJCAR (Conference), 10th
Record Type:: Book
Extent:: 1 online resource (521 p.)
View Content:: Available online (eLD content is only available in our Reading Rooms)

10. Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings /: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings. (2016)

Editors:: Olivetti, Nicola; Tiwari, Ashish, 1973-
Other Names:: IJCAR (Conference), 8th
Record Type:: Book
Extent:: 1 online resource (xx, 580 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)