Documents liés : [4 document(s)]

Documents (Mots clés)

• [IremOuvrage] Introduction pratique aux logiques classiques / Bernadet, Maurice. -Paris : Hermann, 2010. - 203 p. ; 23 cm
  ISBN 9782705670856
  
• [MathOuvrage] Cours et exercices d'informatique / Coord. Albert, Luc ; Gastin, Paul ; Petazzoni, Bruno ; Petit, Antoine ; et al.. -Paris : Vuibert, 1998. - xvii, 434 p. ; 24 cm
  ISBN 9782711786213
  
• [MathOuvrage] Sweet reason / Tymoczko, Tom ; Henle, Jim. -New York NY : Springer, 2000. - xxii, 644 p. ; 24 cm
  https://link.springer.com/bookseries/3229
  
• [MathOuvrage] Decision problems for equational theories of relation algebras / Andréka, Hajnal ; Givant, Steven ; Németi, Istvan. -Providence RI : American mathematical Society, 1997. - xiv, 126 p. ; 26 cm
  ISBN 9780821805954