Author/Creator: Creignou, Nadia - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Creignou, Nadia

1. Belief contraction and erasure in fragments of propositional logic. (11th March 2022)

Authors:: Creignou, Nadia; Ktari, RaÏda; Papini, Odile
Journal:: Journal of logic and computation
Issue:: Volume 32:Number 7(2022)
Page Start:: 1436
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Theory and applications of satisfiability testing -- SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings. (2016)

Editors:: Creignou, Nadia; Le Berre, Daniel
Other Names:: SAT (Conference), 19th
Record Type:: Book
Extent:: 1 online resource (xxiv, 564 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗