Skip Nav Destination
Close Modal
Update search
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- EISBN
- ISSN
- EISSN
- Issue
- Volume
- References
- Paper Number
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- EISBN
- ISSN
- EISSN
- Issue
- Volume
- References
- Paper Number
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- EISBN
- ISSN
- EISSN
- Issue
- Volume
- References
- Paper Number
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- EISBN
- ISSN
- EISSN
- Issue
- Volume
- References
- Paper Number
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- EISBN
- ISSN
- EISSN
- Issue
- Volume
- References
- Paper Number
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- EISBN
- ISSN
- EISSN
- Issue
- Volume
- References
- Paper Number
NARROW
Format
Subjects
Article Type
Date
Availability
1-5 of 5
Keywords: logic & formal reasoning
Close
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Sort by
Proceedings Papers
Publisher: World Petroleum Congress
Paper presented at the 18th World Petroleum Congress, September 25–29, 2005
Paper Number: WPC-18-0925
... logic & formal reasoning Downstream Oil & Gas Artificial Intelligence oxidation reactor catalyst logic programming emulsion two-zone fuidized bed reactor oxygen menéndez butane forum 9 selectivity mathematical model fluidized bed reactor conversion drilling fluids...
Proceedings Papers
Publisher: World Petroleum Congress
Paper presented at the 13th World Petroleum Congress, October 20–25, 1991
Paper Number: WPC-24243
... US government logic programming catalyst logic & formal reasoning thermal deactivation Catalyst Inventory Downstream Oil & Gas mathematical correlation mathematical model Product Distribution equation inventory replacement refinery process engineer differential equation...
Proceedings Papers
Publisher: World Petroleum Congress
Paper presented at the 11th World Petroleum Congress, August 28–September 2, 1983
Paper Number: WPC-20140
Proceedings Papers
Publisher: World Petroleum Congress
Paper presented at the 8th World Petroleum Congress, June 13–18, 1971
Paper Number: WPC-14226
... projets d'imprégnation de vapeur. Elle contient des explications d'exemples de thermal method enhanced recovery steam-assisted gravity drainage Thickness logic & formal reasoning Artificial Intelligence Upstream Oil & Gas production control Reservoir Surveillance logic programming...
Proceedings Papers
Publisher: World Petroleum Congress
Paper presented at the 7th World Petroleum Congress, April 2–9, 1967
Paper Number: WPC-12156
... permettant la solution du problème général à trois dimensions et le traitement des transports d'énergie en vue de logic & formal reasoning Upstream Oil & Gas History numerical reservoir model logic programming calculation computer reservoir study injection reservoir simulation...