Mathématiques -- Japon -- Logiciels. : Sage beginner's guide : unlock the full potential of Sage for simplifying and automating mathematical computing / Craig Finch
Séquençage des acides nucléiques -- Logiciels. : Biological sequence analysis : probabilistic models of proteins and nucleic acids / Richard Durbin, Sean R. Eddy, Anders Krogh, Graeme Mitchison
The science that investigates the principles governing correct or reliable inference and deals with the canons and criteria of validity in thought and demonstration. This system of reasoning is applicable to any branch of knowledge or study. (Random House Unabridged Dictionary, 2d ed & Sippl, Computer Dictionary, 4th ed)
Login, William Spence, 1819-1903 : The wind still blows : extracts from the diaries of Rev. W.S. Login, Mrs. H. Harrison, Mrs. W. Montgomery / compiled and edited by John W. Leslie and Helen C. Cowie
Logique de description. : The description logic handbook : theory, implementation, and applications / edited by Franz Baader [and others]
2003
1
Logique déontique. : Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, the Netherlands, July 12-14, 2006 : proceedings / Lou Goble, John-Jules Ch. Meyer (eds.)
2006
1
Logique d'ordre supérieur. : Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings / Joe Hurd, Tom Melham (eds.)