Hydraulic trim tabs and after planes. Manufacturer of the original hydraulic trim tabs. Site includes information on the various trim tab sets,parts, and installation.

Membership club and sailing school. Provides list of courses, photos of the fleet, boat rental rates, mooring rates, and membership information. Located on Rowes Wharf.

… and restorations on any type of boat or yacht. Sales and service for Suzuki, Johnson, Evinrude, and Mercury outboard motors as well as…

Provides pre-owned sales, watercraft rental, charters, and tours in San Francisco Bay. Includes area and rental information, used boat listings, and directions to their location.

Salmon River, NY. Information on steelhead and salmon guided trips with river reports, boat rentals and lodging.

University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.

San Juan Island and Victoria B.C. cruises leaving from Bellingham, Washington. 100-ft. boat tours the islands and locates wildlife including orca whales.

Beta versions of TLF Flame and TLF Bump procedural shaders for use with Caligari trueSpace version 4.2 or later.

Sells Ciera and Bayliner recreational boats, and includes an inventory of used boats for sale.

Manufacturer of aluminum work and pleasure boats, commercial and private floating docks, floating fish cage systems, yard and highway hydraulic boat trailers, straddle carriers, boat lifts, and boat storage stands.…

Guildford Boat House, self drive narrowboat holidays on the River Wey and Thames in the South of England

…ress by Werner Künzel, in which he discusses Lullus's logic machine, its use and abuse by Athanasius Kircher, and its influence on Gottfried Wilhelm Leibniz.…

Race reports, crew listings, and news.

Boat charter service for the release of cremated remains at sea. View services and vessels.

…ceanfront chalets with hot tubs, and kayak, canoe and power boat rentals. Includes rates, policies, photos, an availability calendar, reservation information and directions. [English and German]…

A PROver with a Theory Extension INterface. Theorem prover for first-order clause logic, written in ECRC's Prolog-dialect ECLiPSe. Free download, documentation.

Marine propeller repair using the most accurate way to repair or tune a boat propeller. We also sell new propellers in Chesapeake, VA.

Provides hands-on activities in Burlington, Wisconsin. Find details of the collection, hours, events, and driving directions.

Short company information and a detailed list of the adventures they have published.

University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.