Robert Veroff

24 papers and 292 indexed citations i.

Robert Veroff has authored 24 papers that have received a total of 292 indexed citations. This includes 20 papers in Artificial Intelligence, 16 papers in Computational Theory and Mathematics and 3 papers in Molecular Biology. The topics of these papers are Logic, Reasoning, and Knowledge (14 papers), Advanced Algebra and Logic (11 papers) and Logic, programming, and type systems (10 papers). Robert Veroff is often cited by papers focused on Logic, Reasoning, and Knowledge (14 papers), Advanced Algebra and Logic (11 papers) and Logic, programming, and type systems (10 papers) and collaborates with scholars based in United States, Italy and Canada. Robert Veroff's co-authors include Susan R. Atlas, Cheryl L. Willman, William McCune, Paul Helman and Lawrence J. Henschen and has published in prestigious journals such as Blood, Artificial Intelligence and Computers in Biology and Medicine