Metabotropic GPCRs: TGR5 and P2Y Receptors in Health and Diseases || Overview of G-Protein Coupled Receptor
- 作者Rajagopal, Senthilkumar; Ponnusamy, Murugavel
- 文件大小894.80KB
- 发表时间2018
- DOI10.1007/978-981-13-1571-8_1
- 页码1-18
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Improving Dependency PairsVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Disproving False ConjecturesVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Congruence Closure with Integer OffsetsVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Automatic Structures of Bounded DegreeVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Minimizing Automata on Infinite WordsVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Handling Equality in Monodic Temporal ResolutionVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || A Machine-Verified Code GeneratorVardi, Moshe Y.; Voronkov, Andrei · 2003