ℹ️
🇬🇧
Search
Search for publications relevant for "SUBSTITUTION"
SUBSTITUTION
Publication
Class
Person
Publication
Programmes
Substitutions into propositional tautologies
Publication at Faculty of Mathematics and Physics
|
2007
1 person
Abstract
Substitutions into propositional tautologies
Keywords
Substitutions
propositional
tautologies
Person
person
prof. RNDr. Jan Krajíček DrSc.
Faculty of Mathematics and Physics
